@@ -734,10 +734,10 @@ process h fn (DoProofSearch updatefile l n hints)
734734 if (isSpace c && mv == n)
735735 then addBracket brack new ++ (c : cs)
736736 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
738738 updateMeta brack ('=':cs) n new = '=':updateMeta False cs n new
739739 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
741741 updateMeta brack [] n new = ""
742742
743743 addBracket False new = new