Porting to ocaml 5

[helm.git] / matita / components / ng_paramodulation / nCicBlob.ml

diff --git a/matita/components/ng_paramodulation/nCicBlob.ml b/matita/components/ng_paramodulation/nCicBlob.ml
index b1f2cfa6f2d9cb4774a56c3e89862209759b8983..9ca541a65ca7afa4a48cfad6c7ee594cc9a5cbf0 100644 (file)
--- a/matita/components/ng_paramodulation/nCicBlob.ml
+++ b/matita/components/ng_paramodulation/nCicBlob.ml
@@ -80,7 +80,7 @@ with type t = NCic.term and type input = NCic.term = struct
     | ( NCic.Meta _ | NCic.Appl _ ), NCic.Const _ -> 1
     | NCic.Appl _, NCic.Meta _ -> ~-1
     | NCic.Meta _, NCic.Appl _ -> 1
-    | _ -> Pervasives.compare x y
+    | _ -> Stdlib.compare x y
        (* was assert false, but why? *)
        
   ;;