X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftex_cic_textual_parser%2FtexCicTextualLexer.mll;fp=helm%2Focaml%2Ftex_cic_textual_parser%2FtexCicTextualLexer.mll;h=320162c752e8b3abb57b62e4e6e05249511e71d0;hb=194de297e16afcd857f36aba9c06fa6919654d94;hp=7f70b8e880989066536a7a4a21453df65c4da77f;hpb=4c9da07604c4f8b66e4e92861ee38129422d23fb;p=helm.git

diff --git a/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll b/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll
index 7f70b8e88..320162c75 100644
--- a/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll
+++ b/helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll
@@ -63,8 +63,9 @@
 }
 let dollar = '$'
 let num = ['1'-'9']['0'-'9']* | '0'
-let alfa = ['A'-'Z' 'a'-'z' '_' ''' '-'] | "\\_"
-let ident = alfa (alfa | num)*
+let letter = ['A'-'Z' 'a'-'z']
+let alfa = letter | ['_' ''' '-'] | "\\_"
+let ident = letter (alfa | num)*
 let baseuri = '/'(ident '/')* ident '.'
 let conuri = baseuri "con"
 let varuri = baseuri "var"
@@ -115,6 +116,7 @@ rule token =
   | eof         { EOF }
   (* Arithmetical operators *)
   | '+'         { PLUS }
+  | '-'         { MINUS }
   | '*'         { TIMES }
   | '='         { EQ }
 {}