From: acondolu <andrea.condoluci@unibo.it>
Date: Thu, 13 Jul 2017 18:35:37 +0000 (+0200)
Subject: Added assert false
X-Git-Tag: weak-reduction-separation~45
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a12f6686a9409425a11434dc2ff2ec79eda0ad15;p=fireball-separation.git

Added assert false

(cherry picked from commit ba6f0ecd9531b266361674d76423c24381dc72ee)
---

diff --git a/ocaml/lambda4.ml b/ocaml/lambda4.ml
index 83f1c42..715caf5 100644
--- a/ocaml/lambda4.ml
+++ b/ocaml/lambda4.ml
@@ -528,7 +528,7 @@ let auto_instantiate (n,p) =
   with
    Not_found ->
     let arity_of_x = max_arity_tms x (all_terms p) in
-    assert (Util.option_get arity_of_x > 0); 
+    assert (Util.option_get arity_of_x > 0);
     x in
 (* Instantiate in decreasing order of compute_special_k
 1:15m14s 2:13m14s 3:4m55s 4:4m43s 5:4m34s 6:6m28s 7:3m31s