X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_paramodulation%2FfoUtils.ml;h=9bb7891c382f6c375fdf7da9437a9ec9aadd01e0;hb=6b76c5b3b82753966cabffd8536d8dd9f8cada20;hp=826687afc788b49d842b639d83467c94b88fd5de;hpb=aa5c8c99c9f7ae285883cff133fc02b3d064888c;p=helm.git

diff --git a/matita/components/ng_paramodulation/foUtils.ml b/matita/components/ng_paramodulation/foUtils.ml
index 826687afc..9bb7891c3 100644
--- a/matita/components/ng_paramodulation/foUtils.ml
+++ b/matita/components/ng_paramodulation/foUtils.ml
@@ -58,7 +58,7 @@ module Utils (B : Orderings.Blob) = struct
     match l1, l2 with
     | Terms.Predicate p1, Terms.Predicate p2 -> compare_foterm p1 p2
     | Terms.Equation (l1,r1,ty1,o1), Terms.Equation (l2,r2,ty2,o2) ->
-        let c = Pervasives.compare o1 o2 in
+        let c = Stdlib.compare o1 o2 in
         if c <> 0 then c else
           let c = compare_foterm l1 l2 in
           if c <> 0 then c else
@@ -70,7 +70,7 @@ module Utils (B : Orderings.Blob) = struct
   ;;
 
   let eq_unit_clause (id1,_,_,_) (id2,_,_,_) = id1 = id2
-  let compare_unit_clause (id1,_,_,_) (id2,_,_,_) = Pervasives.compare id1 id2
+  let compare_unit_clause (id1,_,_,_) (id2,_,_,_) = Stdlib.compare id1 id2
     
   let relocate maxvar varlist subst =
     List.fold_right