From ae918f36c193172ce5316abeadf19cdaaec2cde2 Mon Sep 17 00:00:00 2001 From: acondolu Date: Fri, 1 Jun 2018 09:44:18 +0200 Subject: [PATCH] Removed warning --- ocaml/num.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ocaml/num.ml b/ocaml/num.ml index cc30cb5..dda88a7 100644 --- a/ocaml/num.ml +++ b/ocaml/num.ml @@ -104,7 +104,7 @@ let rec t_of_i_num_var = let bs = List.map ( function (n,t) -> n, (if t = !bomb then delta - else L (t_of_nf (lift (liftno+1) t))) + else Pure.L (t_of_nf (lift (liftno+1) t))) ) !bs in let t = t_of_i_num_var t in let m = Scott.mk_match t bs in -- 2.39.2