Fix build

Gbury · Jan 16, 2023 · b7879f9 · b7879f9
1 parent 59336c4
commit b7879f9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/bin/options.ml b/src/bin/options.ml
@@ -439,8 +439,8 @@ let reports =
 (* ************************************************************************* *)
 
 let mk_file lang mode input =
-  let dir,source = Loop.State.split_input input in
-  Loop.State.mk_file ?lang ?mode dir source
+  let dir,source = State.split_input input in
+  State.mk_file ?lang ?mode dir source
 
 let logic_file =
   let docs = common_section in