@@ -734,10 +734,10 @@ process h fn (DoProofSearch updatefile l n hints)
734 if (isSpace c && mv == n)
734 if (isSpace c && mv == n)
735 then addBracket brack new ++ (c : cs)
735 then addBracket brack new ++ (c : cs)
736 else '?' : mv ++ c : updateMeta True cs n new
736 else '?' : mv ++ c : updateMeta True cs n new
737− (mv, []) -> if (mv == n) then new else '?' : mv
737+ (mv, []) -> if (mv == n) then addBracket brack new else '?' : mv
738 updateMeta brack ('=':cs) n new = '=':updateMeta False cs n new
738 updateMeta brack ('=':cs) n new = '=':updateMeta False cs n new
739 updateMeta brack (c:cs) n new
739 updateMeta brack (c:cs) n new
740− = c : updateMeta (not (not brack && isSpace c)) cs n new
740+ = c : updateMeta (brack || not (isSpace c)) cs n new
741 updateMeta brack [] n new = ""
741 updateMeta brack [] n new = ""
743 addBracket False new = new
743 addBracket False new = new