the prover is almost OK, types in fuctors a bit extended to

[helm.git] / helm / software / components / ng_paramodulation / paramod.ml

diff --git a/helm/software/components/ng_paramodulation/paramod.ml b/helm/software/components/ng_paramodulation/paramod.ml
index 47975fb3b7b7aca845e1121d6ef1444f08f70f71..d63d1449a2236d51f531b9c226e5d6818ebcf692 100644 (file)
--- a/helm/software/components/ng_paramodulation/paramod.ml
+++ b/helm/software/components/ng_paramodulation/paramod.ml
@@ -14,7 +14,7 @@
  (*let debug s = prerr_endline s ;;*)
  let debug _ = ();;
     
-let max_nb_iter = 999999999 ;;
+let max_nb_iter = max_int ;;
 let amount_of_time = 300.0 ;;
 
 module Paramod (B : Terms.Blob) = struct