diff options
| author | Chimrod <> | 2023-11-03 19:00:34 +0100 |
|---|---|---|
| committer | Chimrod <> | 2023-11-03 19:00:34 +0100 |
| commit | 0f24d6d6c6a61c9a3f090649003df7daabff4d65 (patch) | |
| tree | 95dcbc1742fc65fcbe18079ce5da5b2225c03235 /bin/qsp_parser.ml | |
| parent | f5d06b0e8e6aaaa05100165bfc7873d2a8be859c (diff) | |
Removed the interractive command line option
Diffstat (limited to 'bin/qsp_parser.ml')
| -rw-r--r-- | bin/qsp_parser.ml | 8 |
1 files changed, 0 insertions, 8 deletions
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 () |