summaryrefslogtreecommitdiffstats
path: root/src/common.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/common.ml')
-rw-r--r--src/common.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common.ml b/src/common.ml
index 04225f9..ce57937 100644
--- a/src/common.ml
+++ b/src/common.ml
@@ -976,7 +976,7 @@ let is_greater2compare is_greater a b =
module OrderedString =
struct
type t = string
- let compare = compare
+ let compare = Stdlib.compare
end;;
module StringSet = Set.Make(OrderedString);;