-666 -> min_int

(cherry picked from commit 5da7cf1322998c8965455264249f12ac4400f49d)

diff --git a/ocaml/lambda4.ml b/ocaml/lambda4.ml
index ee69a2143bd100f8c514e31e7a0137e11254f810..6c344acf6050b9af4f653fb4da0e65b04b6b380d 100644 (file)
--- a/ocaml/lambda4.ml
+++ b/ocaml/lambda4.ml
@@ -470,7 +470,7 @@ let instantiate p x n =
  let args = Listx.from_list (vars :> nf list) in
  let bs = ref [] in
  (* 666, since it will be replaced anyway during subst: *)
- let inst = `Lam(false,`Match(`I((0,min_int),Listx.map (lift 1) args),(x,666),1,bs,[])) in
+ let inst = `Lam(false,`Match(`I((0,min_int),Listx.map (lift 1) args),(x,-666),1,bs,[])) in
  let p = {p with deltas=bs::p.deltas} in
  subst_in_problem x inst p
 ;;