3 files changed, 6 insertions, 22 deletions
diff --git a/bin/args.ml b/bin/args.ml
index 90d65de..27c5a70 100644
--- a/bin/args.ml
+++ b/bin/args.ml
@@ -8,11 +8,11 @@ let usage =
 let anon_fun filename = input_files := filename :: !input_files
 let level_value = ref None
 let reset_line = ref false
-let interractive = ref true
+let interractive () = ()
 
 type filters = { level : Report.level option }
 
-type t = { reset_line : bool; filters : filters; interractive : bool }
+type t = { reset_line : bool; filters : filters }
 (** All the arguments given from the command line *)
 
 let level : string -> unit =
@@ -41,15 +41,8 @@ let speclist =
   and windows_arguments =
     match Sys.os_type with
     | "Win32" ->
-        [
-          ( "--no-prompt",
-            Arg.Clear interractive,
-            "\tDo not ask the user to press enter after processing the source"
-          );
-        ]
-    | _ ->
-        interractive := false;
-        []
+        [ ("--no-prompt", Arg.Unit interractive, "\tDeprecated. Does nothing") ]
+    | _ -> []
   in
   common_arguments @ windows_arguments
 
@@ -66,5 +59,4 @@ let parse : unit -> string list * t =
       exit 1
   | _ ->
       let filters = { level = !level_value } in
-      ( !input_files,
-        { reset_line = !reset_line; filters; interractive = !interractive } )
+      (!input_files, { reset_line = !reset_line; filters })
diff --git a/bin/args.mli b/bin/args.mli
index 1a063fc..5231cae 100644
--- a/bin/args.mli
+++ b/bin/args.mli
@@ -1,6 +1,6 @@
 type filters = { level : Qsp_syntax.Report.level option }
 
-type t = { reset_line : bool; filters : filters; interractive : bool }
+type t = { reset_line : bool; filters : filters }
 (** All the arguments given from the command line *)
 
 val parse : unit -> string list * t
diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml
index 397b5a9..f147a95 100644
--- a/bin/qsp_parser.ml
+++ b/bin/qsp_parser.ml
@@ -97,12 +97,4 @@ let () =
         Printf.printf "Found %d error(s), %d warning(s)\n" !ctx.error_nb
           !ctx.warn_nb
   in
-
-  let () =
-    match parameters.interractive with
-    | true ->
-        print_endline "Press <Enter> to terminate";
-        ignore @@ read_line ()
-    | _ -> ()
-  in
   ()