X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftex_cic_textual_parser%2FtexCicTextualLexer.mll;h=692a6a86b1f6e0a47e087e720c52d5b5cb4b0dfe;hb=14912e1217c459a7f580dd90bc7751e885aa4bcb;hp=d40f09fb29ab04338e9db53611bf9e17911fbc77;hpb=77b3276d892fc037635fff6b1d0551252282a19f;p=helm.git

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 *)