Fix build

Gbury · Feb 2, 2023 · a480c8f · a480c8f
1 parent 8730046
commit a480c8f
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