From 1fdb461d0bc4056ade8a05c482142984dbda735c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 18 Jul 2017 15:36:56 +0200 Subject: [PATCH] Hack to reserve var 0 to purify it to BOM removed --- ocaml/parser.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/ocaml/parser.ml b/ocaml/parser.ml index ea78009..4b02b12 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) ;; -- 2.39.2