Porting to ocaml 5

[helm.git] / matita / components / ng_refiner / nCicCoercion.ml

diff --git a/matita/components/ng_refiner/nCicCoercion.ml b/matita/components/ng_refiner/nCicCoercion.ml
index cfb9d1b6b8e927ba78f2e0918d22331e98080656..7447a68f2e70dd540be9584157083e4c09ceec74 100644 (file)
--- a/matita/components/ng_refiner/nCicCoercion.ml
+++ b/matita/components/ng_refiner/nCicCoercion.ml
@@ -21,7 +21,7 @@ module COT : Set.OrderedType
 with type t = string * NCic.term * int * int  * NCic.term * NCic.term = 
   struct
      type t = string * NCic.term * int * int * NCic.term * NCic.term
-     let compare = Pervasives.compare
+     let compare = Stdlib.compare
   end
 
 module CoercionSet = Set.Make(COT)