Porting to ocaml 5

[helm.git] / matita / components / ng_kernel / nCicReduction.ml

diff --git a/matita/components/ng_kernel/nCicReduction.ml b/matita/components/ng_kernel/nCicReduction.ml
index 7542a52e03683ce1bb3905c3e6dc28fe7b7c2af9..9234f07aab85f9acf1d2fc5831b0743f7e7733cc 100644 (file)
--- a/matita/components/ng_kernel/nCicReduction.ml
+++ b/matita/components/ng_kernel/nCicReduction.ml
@@ -206,7 +206,7 @@ module R = Reduction(RS);;
 
 let whd = R.whd
 
-let (===) x y = Pervasives.compare x y = 0 ;;
+let (===) x y = Stdlib.compare x y = 0 ;;
 
 let get_relevance = ref (fun _ ~metasenv:_ ~subst:_ _ _ -> assert false);;