From b7879f9894d79c6f96aeeb40e2c7e01c603c1760 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Mon, 16 Jan 2023 18:07:34 +0100 Subject: [PATCH] Fix build --- src/bin/options.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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