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

diff --git a/ocaml/parser.ml b/ocaml/parser.ml
index 8ba2fbd..7965095 100644
--- a/ocaml/parser.ml
+++ b/ocaml/parser.ml
@@ -172,7 +172,7 @@ let problem_of_string s =
  (* Fix arity *)
  let open Num in
  let rec aux lev : nf -> nf = function
- | `I((n,_), args) -> `I((n,1 + Listx.length args), Listx.map (fun t -> aux lev t) args)
+ | `I((n,_), args) -> `I((n,(if lev = 0 then 0 else 1) + Listx.length args), Listx.map (aux lev) args)
  | `Var(n,_) -> fix lev n
  | `Lam(_,t) -> `Lam (true, aux (lev+1) t)
  | `Match _ | `N _ -> assert false in