diff --git a/src/bin/options.ml b/src/bin/options.ml
index f23981f87..0839160aa 100644
--- 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