X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2Fsaturate_main.ml;fp=helm%2Focaml%2Fparamodulation%2Fsaturate_main.ml;h=6f1ea3f2b7011017b61a7f3b02241efaae6d9c13;hb=91a095f0686ee569ba035e4e30c7d071588cb8e7;hp=a2a4e1f079e6957bd3074d82ac7813175d07e631;hpb=308684ed4a405d37dcca6a7f38a404c6967e2e0e;p=helm.git

diff --git a/helm/ocaml/paramodulation/saturate_main.ml b/helm/ocaml/paramodulation/saturate_main.ml
index a2a4e1f07..6f1ea3f2b 100644
--- a/helm/ocaml/paramodulation/saturate_main.ml
+++ b/helm/ocaml/paramodulation/saturate_main.ml
@@ -17,7 +17,7 @@ let get_from_user ~(dbd:Mysql.dbd) =
 
 let _ =
   let module S = Saturation in
-  let set_ratio v = S.weight_age_ratio := (v+1); S.weight_age_counter := (v+1)
+  let set_ratio v = S.weight_age_ratio := v; S.weight_age_counter := v
   and set_sel v = S.symbols_ratio := v; S.symbols_counter := v;
   and set_conf f = configuration_file := f
   and set_ordering o =