X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fparser.ml;h=90cda05bd2313d661d51c009919eccdf9c1407cd;hb=978648853f982a5e5755f084fb22342fdbb3534e;hp=4c7b829b91d5669c65598b3cc6443b9e0e2d281c;hpb=e4aa4a66dd0a4946607245a0f43eab803f2770c4;p=fireball-separation.git

diff --git a/ocaml/parser.ml b/ocaml/parser.ml
index 4c7b829..90cda05 100644
--- a/ocaml/parser.ml
+++ b/ocaml/parser.ml
@@ -10,7 +10,8 @@ let mk_var x = Var x;;
 
 exception ParsingError of string;;
 
-let isAlphaNum c = let n = Char.code c in 48 <= n && n <= 122 ;;
+let isAlphaNum c = let n = Char.code c in
+ (48 <= n && n <= 90) || (95 <= n && n <= 122) ;;
 let isSpace c = c = ' ' || c = '\n' || c = '\t' ;;
 
 let rec index_of x =