From f21a7b0552f65de232ab75bdd3172c6c182292b1 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Tue, 3 Oct 2023 08:23:59 +0200
Subject: In windows, do not ask the user before terminating

---
 bin/args.mli | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 bin/args.mli

(limited to 'bin/args.mli')

diff --git a/bin/args.mli b/bin/args.mli
new file mode 100644
index 0000000..1a063fc
--- /dev/null
+++ b/bin/args.mli
@@ -0,0 +1,6 @@
+type filters = { level : Qsp_syntax.Report.level option }
+
+type t = { reset_line : bool; filters : filters; interractive : bool }
+(** All the arguments given from the command line *)
+
+val parse : unit -> string list * t
-- 
cgit v1.2.3