Enabled age selection (ratio 1/5)

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

diff --git a/helm/software/components/ng_paramodulation/foUtils.ml b/helm/software/components/ng_paramodulation/foUtils.ml
index a970bb6f0c51ee67870e6577b9797daf45b1abca..9daefe305a215e3eca30939c4cd458488fc5f704 100644 (file)
--- a/helm/software/components/ng_paramodulation/foUtils.ml
+++ b/helm/software/components/ng_paramodulation/foUtils.ml
@@ -141,7 +141,7 @@ module Utils (B : Terms.Blob) = struct
   ;;
 
   let mk_passive_goal g =
-    (Order.compute_goal_weight g, g)
+    (Order.compute_unit_clause_weight g, g)
   ;;
 
   let compare_passive_clauses_weight (w1,(id1,_,_,_)) (w2,(id2,_,_,_)) =