From 14912e1217c459a7f580dd90bc7751e885aa4bcb Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 19 Mar 2003 09:10:57 +0000 Subject: [PATCH] '{' and '}' are now considered as blanks --- helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll b/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll index d40f09fb2..692a6a86b 100644 --- a/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll +++ b/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll @@ -57,7 +57,7 @@ let conuri = baseuri "con" let varuri = baseuri "var" let indtyuri = baseuri "ind#1/" num let indconuri = baseuri "ind#1/" num "/" num -let blanks = [' ' '\t' '\n' '~'] | "\\;" +let blanks = [' ' '\t' '\n' '~' '{' '}'] | "\\;" rule token = parse blanks { token lexbuf } (* skip blanks *) -- 2.39.2