Changed logic of entrypoint in Lambda4

[fireball-separation.git] / ocaml / num.ml

diff --git a/ocaml/num.ml b/ocaml/num.ml
index d9cdf379857957bae4a871fd6b119f300f3056eb..962feaf3011efa95e31f0e64e0f995a394800350 100644 (file)
--- a/ocaml/num.ml
+++ b/ocaml/num.ml
@@ -172,6 +172,7 @@ let cast_to_i_num_var =
     assert false (* algorithm failed *)
 
 let rec set_arity arity = function
+(* FIXME because onlt variables should be in branches of matches, one day *)
 | `Var(n,_) -> `Var(n,arity)
 | `N _ | `Bottom | `Pacman as t -> t
 | `Lam(false, t) -> `Lam(false, set_arity arity t)