Added assert false

diff --git a/ocaml/lambda4.ml b/ocaml/lambda4.ml
index 6ceb9f387d516d401301f821c8d3e6cb16960f54..bc8855d3006462351046fe3fe956aa21fd5d7e8c 100644 (file)
--- a/ocaml/lambda4.ml
+++ b/ocaml/lambda4.ml
@@ -573,7 +573,7 @@ let choose_step (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