X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_refiner%2FnCicCoercion.ml;h=7447a68f2e70dd540be9584157083e4c09ceec74;hb=6b76c5b3b82753966cabffd8536d8dd9f8cada20;hp=cfb9d1b6b8e927ba78f2e0918d22331e98080656;hpb=aa5c8c99c9f7ae285883cff133fc02b3d064888c;p=helm.git

diff --git a/matita/components/ng_refiner/nCicCoercion.ml b/matita/components/ng_refiner/nCicCoercion.ml
index cfb9d1b6b..7447a68f2 100644
--- 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)