blob: 24edea2b7c7048c41a3c75d1ef58679a3d693c44 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- Camomile/toolslib/absCe.ml.orig 2019-08-08 07:10:33 UTC
+++ Camomile/toolslib/absCe.ml
@@ -49,7 +49,7 @@ type elt =
| `FirstImplicit
| `FirstTrailing ]
-module Elt = struct type t = elt let compare = Pervasives.compare end
+module Elt = struct type t = elt let compare = Stdlib.compare end
module EltMap = Map.Make (Elt)
type ce = AbsOrd.point * AbsOrd.point * AbsOrd.point
|
