Porting to ocaml 5

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

diff --git a/matita/components/ng_paramodulation/terms.ml b/matita/components/ng_paramodulation/terms.ml
index 87b4f383bc53bf13885069592eaf896ad9f58a0e..0aa2a7d2bdfd401b721c3d847594d325fa041358 100644 (file)
--- a/matita/components/ng_paramodulation/terms.ml
+++ b/matita/components/ng_paramodulation/terms.ml
@@ -63,7 +63,7 @@ let vars_of_term t =
 module OT =
  struct
    type t = int 
-   let compare = Pervasives.compare
+   let compare = Stdlib.compare
  end
 
 module M : Map.S with type key = int