X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fparser.ml;h=570809dd6d4a6c952ee0139851bd97bef7be2af1;hb=a34071ed728b8de44b198de4e73a52207557ed81;hp=e5a040fd34b15f3f3cbd4569adc5c07c45b2ce62;hpb=f7a60345135a4032bf63a7dc650bcc9fe30aa30a;p=fireball-separation.git

diff --git a/ocaml/parser.ml b/ocaml/parser.ml
index e5a040f..570809d 100644
--- a/ocaml/parser.ml
+++ b/ocaml/parser.ml
@@ -148,11 +148,13 @@ let _ = prerr_endline (">>>" ^ string_of_term (parse "(\\x. x y z z1 k) z1 z j")
    let n_bot = try Util.index_of "BOT" free with Not_found -> min_int in
    let n_pac = try Util.index_of "PAC" free with Not_found -> min_int in
    let n_bomb = try Util.index_of "BOMB" free with Not_found -> min_int in
+   let n_z = try Util.index_of "Z" free with Not_found -> min_int in
    let fix lev v =
     if v = lev + n_bot then `Bottom
      else if v = lev + n_pac then `Pacman
       else if v = lev + n_bomb then `Lam(true, `Bottom)
-       else `Var(v,1) in (* 1 by default when variable not applied *)
+       else if v = lev + n_z then `Var(lev, 0) (* FIXME why zero? *)
+        else `Var(v,1) in (* 1 by default when variable not applied *)
    (* Fix arity *)
    let open Num in
    let exclude_bottom = function