Porting to ocaml 5

[helm.git] / matita / components / thread / extThread.ml

diff --git a/matita/components/thread/extThread.ml b/matita/components/thread/extThread.ml
index d59cccd268c1ed6a1f6efad4dd03abd231daef34..f81775ff20aed86ebd48f2a2a04dc7639bddebbf 100644 (file)
--- a/matita/components/thread/extThread.ml
+++ b/matita/components/thread/extThread.ml
@@ -37,7 +37,7 @@ exception Thread_not_found of Thread.t
 module OrderedPid =
   struct
     type t = int
-    let compare = Pervasives.compare
+    let compare = Stdlib.compare
   end
 module PidSet = Set.Make (OrderedPid)