lexer: Fix parsing of { characters in CODE sections.

[goals.git] / src / lexer.mll

diff --git a/src/lexer.mll b/src/lexer.mll
index fa73312..4a316a0 100644 (file)
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -107,7 +107,8 @@ and read_string buf =
  *)
 and read_code buf level =
     parse
-    | '{'     { incr level; read_code buf level lexbuf }
+    | '{'     { Ast.Substs.add_char buf '{';
+                incr level; read_code buf level lexbuf }
     | '}'     { decr level;
                 if !level = 0 then CODE (Ast.Substs.get buf)
                 else (