X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fparser.ml;h=8ba2fbd7ae9a3f6770146f83ded59e5e151d9dc7;hb=317fcb4eb9b89d617ab76cbded0c4654b67cfe16;hp=1e69acb82328cd6d363dccdd728e86e1fb908a34;hpb=3f5fd50fbe0c585e1d9aad84007fdbd82c573fa7;p=fireball-separation.git

diff --git a/ocaml/parser.ml b/ocaml/parser.ml
index 1e69acb..8ba2fbd 100644
--- a/ocaml/parser.ml
+++ b/ocaml/parser.ml
@@ -118,13 +118,11 @@ let parse x =
   | _, _, _ -> raise (ParsingError "???")
 ;;
 
-let var_zero = "Z";; (* the name for the zero *)
-
 let parse_many strs =
   let f (x, y) z = match read_smt y (explode z) with
   | Some[tm], [], vars -> (tm :: x, vars)
   | _, _, _ -> raise (ParsingError "???")
-  in let aux = List.fold_left f ([], ([], [var_zero])) (* index zero is reserved *)
+  in let aux = List.fold_left f ([], ([], [])) (* index zero is reserved *)
   in let (tms, (_, free)) = aux strs
   in (List.rev tms, free)
 ;;