Removed num_more_args

diff --git a/ocaml/lambda4.ml b/ocaml/lambda4.ml
index c28f723ee57880f87c9554219224586124a80025..5ff78661f5cd8377e8ee489cf09edafc1f0c4d94 100644 (file)
--- a/ocaml/lambda4.ml
+++ b/ocaml/lambda4.ml
@@ -9,12 +9,6 @@ exception Bottom
 exception Lambda
 exception Backtrack of string
 
-(*
- The number of arguments which can applied to numbers
- safely, depending on the encoding of numbers.
- For Scott's encoding, two.
-*)
-let num_more_args = 2;;
 (* verbosity *)
 let _very_verbose = false;;
 (** Display measure of every term when printing problem *)
@@ -306,8 +300,8 @@ let rec dangerous arities showstoppers =
       (match t with
           `N _ -> List.iter (dangerous arities showstoppers) args
         | `Match _ as t -> dangerous arities showstoppers t ; List.iter (dangerous arities showstoppers) args
-        | `Var(x,_) -> dangerous_inert arities showstoppers x args num_more_args
-        | `I((x,_),args') -> dangerous_inert arities showstoppers x (Listx.to_list args' @ args) num_more_args
+        | `Var(x,_) -> dangerous_inert arities showstoppers x args 2
+        | `I((x,_),args') -> dangerous_inert arities showstoppers x (Listx.to_list args' @ args) 2
       )
   | `I((k,_),args) -> dangerous_inert arities showstoppers k (Listx.to_list args) 0