X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftex_cic_textual_parser%2FtexCicTextualLexer.mll;h=01ddd0cf302acdede1f9b14f086864077677ce10;hb=94768368c6ec74fd86e80ae792e8d311d6d84cb4;hp=320162c752e8b3abb57b62e4e6e05249511e71d0;hpb=aa414acf306f5cbf0157b467ab6115599c845bce;p=helm.git

diff --git a/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll b/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll
index 320162c75..01ddd0cf3 100644
--- a/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll
+++ b/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll
@@ -71,7 +71,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' '~' '{' '}'] | "\\;" | "\\rm"
 rule token =
  parse
     blanks      { token lexbuf } (* skip blanks *)