From 0f24d6d6c6a61c9a3f090649003df7daabff4d65 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Fri, 3 Nov 2023 19:00:34 +0100
Subject: Removed the interractive command line option

---
 bin/args.ml | 18 +++++-------------
 1 file changed, 5 insertions(+), 13 deletions(-)

(limited to 'bin/args.ml')

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 })
-- 
cgit v1.2.3