summaryrefslogtreecommitdiff
path: root/src/urweb.lex
diff options
context:
space:
mode:
Diffstat (limited to 'src/urweb.lex')
-rw-r--r--src/urweb.lex7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/urweb.lex b/src/urweb.lex
index 55fe4216..5d3d6dbe 100644
--- a/src/urweb.lex
+++ b/src/urweb.lex
@@ -40,6 +40,10 @@ local
val commentLevel = ref 0
val commentPos = ref 0
in
+ fun reset () =
+ (commentLevel := 0;
+ commentPos := 0)
+
fun enterComment pos =
(if !commentLevel = 0 then
commentPos := pos
@@ -109,7 +113,8 @@ fun exitBrace () =
braceLevels := (s, i-1) :: rest
| _ => ()
-fun initialize () = (xmlTag := [];
+fun initialize () = (reset ();
+ xmlTag := [];
xmlString := false)