From 40376c3ea009eab4db9ba27837e61d8bec310b8f Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 11 Jul 2026 03:15:25 -0300
Subject: negation, quantifiers and membership criteria as schema domains

---
 bin/main.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'bin')

diff --git a/bin/main.ml b/bin/main.ml
index 09f96e1..e7df2e2 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -22,9 +22,9 @@ let print_solutions solutions =
         solutions
 
 let run_statements statements =
-  match Sol.World.Standalone.load statements with
+  match Sol.Program.load statements with
   | Error error ->
-      Format.eprintf "%a@." Sol.World.pp_error error;
+      Format.eprintf "%a@." Sol.Program.pp_error error;
       Error ()
   | Ok (world, queries) ->
       List.iter
-- 
cgit v1.2.3