From 3d74fbfd4bd173ae1aac4bf808b00275d48c4be4 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Fri, 29 Sep 2023 14:01:31 +0200
Subject: Also removed unecessary read_line for windows

---
 bin/qsp_parser.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml
index 8ce4d4c..ffb1bd5 100644
--- a/bin/qsp_parser.ml
+++ b/bin/qsp_parser.ml
@@ -59,9 +59,6 @@ let parse_location : Sedlexing.lexbuf -> filters -> unit =
           let start_position, _ = Sedlexing.lexing_positions lexbuf in
           Format.fprintf Format.std_formatter "Location %s@;@[%a@]@."
             start_position.Lexing.pos_fname pp_result report;
-          let () =
-            match Sys.os_type with "Win32" -> ignore @@ read_line () | _ -> ()
-          in
           ())
   | Error e ->
       let start_position, _ = Sedlexing.lexing_positions lexbuf in
-- 
cgit v1.2.3