From: acondolu <andrea.condoluci@unibo.it>
Date: Tue, 11 Jul 2017 15:38:14 +0000 (+0200)
Subject: -666 -> min_int
X-Git-Tag: weak-reduction-separation~56
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f69cf0859dd68582a4f44df43610f2514bfc0416;p=fireball-separation.git

-666 -> min_int

(cherry picked from commit 5da7cf1322998c8965455264249f12ac4400f49d)
---

diff --git a/ocaml/lambda4.ml b/ocaml/lambda4.ml
index ee69a21..6c344ac 100644
--- 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
 ;;