X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fthread%2FextThread.ml;h=f81775ff20aed86ebd48f2a2a04dc7639bddebbf;hb=6b76c5b3b82753966cabffd8536d8dd9f8cada20;hp=d59cccd268c1ed6a1f6efad4dd03abd231daef34;hpb=aa5c8c99c9f7ae285883cff133fc02b3d064888c;p=helm.git

diff --git a/matita/components/thread/extThread.ml b/matita/components/thread/extThread.ml
index d59cccd26..f81775ff2 100644
--- 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)