Skip to content
Snippets Groups Projects
Commit 0bbf36d3 authored by Maxime Folschette's avatar Maxime Folschette
Browse files

fix for ocaml 4.13.1 (compare)

parent 19e6c57e
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
README.txt
+ 1
− 1
View file @ 0bbf36d3
...@@ -27,7 +27,7 @@ Reference article: ...@@ -27,7 +27,7 @@ Reference article:
DOI: https://doi.org/10.1016/j.tcs.2018.02.003 DOI: https://doi.org/10.1016/j.tcs.2018.02.003
Requirements: 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) Clingo 5 (tested with version 5.4.0)
......
main.ml
+ 1
− 1
View file @ 0bbf36d3
...@@ -159,7 +159,7 @@ type varpredec = mult list ;; ...@@ -159,7 +159,7 @@ type varpredec = mult list ;;
(** Comparison functions **) (** Comparison functions **)
let varequals = (=) ;; let varequals = (=) ;;
let multcompare = compare ;; let multcompare = String.compare ;;
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment