From 0bbf36d31bea7fde46dca9165bab80d7115033da Mon Sep 17 00:00:00 2001
From: Maxime Folschette <Maxime.Folschette@centralelille.fr>
Date: Fri, 2 Feb 2024 10:47:26 +0100
Subject: [PATCH] fix for ocaml 4.13.1 (compare)

---
 README.txt | 2 +-
 main.ml    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.txt b/README.txt
index 46ac724..34bfca4 100644
--- a/README.txt
+++ b/README.txt
@@ -27,7 +27,7 @@ Reference article:
   DOI: https://doi.org/10.1016/j.tcs.2018.02.003
 
 Requirements:
-  OCaml (requires 4.03.0, tested with version 4.09.0)
+  OCaml (requires 4.03.0, tested with versions 4.09.0 and 4.13.1)
   Clingo 5 (tested with version 5.4.0)
 
 
diff --git a/main.ml b/main.ml
index b43fb7b..4a9f89e 100644
--- a/main.ml
+++ b/main.ml
@@ -159,7 +159,7 @@ type varpredec = mult list ;;
 
 (** Comparison functions **)
 let varequals = (=) ;;
-let multcompare = compare ;;
+let multcompare = String.compare ;;
 
 
 
-- 
GitLab