fix: use Stdlib for compat with recent versions of OCaml

c-cube · Oct 16, 2024 · 8918c88 · 8918c88
1 parent b3d9572
commit 8918c88
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bottom_up_cli/datalog_cli.ml b/src/bottom_up_cli/datalog_cli.ml
@@ -56,7 +56,7 @@ let handle_goal db lit =
     try
       let a = int_of_string (DSym.to_string a)
       and b = int_of_string (DSym.to_string b) in
-      Pervasives.compare a b
+      Stdlib.compare a b
     with Invalid_argument _ -> compare a b
   in
   match (DLogic.open_literal lit :> string * DLogic.term list) with