diff options
| -rw-r--r-- | NEWS | 1 | ||||
| -rw-r--r-- | src/common.ml | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -2,6 +2,7 @@ o sync Gtk3::WebKit2 with webkit-2.32.0 o sync Gtk4 fake package with gtk4-4.2.0 o sync with glib-2.68.0 & gtk+-3.24.28 +- fix compiling with ocaml-4.12 Version 1.2.41 - 8 December 2020, by Thierry Vignaud 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);; |