X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fnum.ml;h=962feaf3011efa95e31f0e64e0f995a394800350;hb=dfad242808c3525a0d9e3420565551964fcf0832;hp=d9cdf379857957bae4a871fd6b119f300f3056eb;hpb=123d64bb5ae7127f6a51cbf44b63341de001a187;p=fireball-separation.git

diff --git a/ocaml/num.ml b/ocaml/num.ml
index d9cdf37..962feaf 100644
--- 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)