Skip to content
Snippets Groups Projects
Commit 4bfd4559 authored by erwan's avatar erwan
Browse files

Fix: take into account the #q RIF pragma

parent 5ca18d04
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 2 deletions
lib/sasacore/rifRead.ml
+ 3
− 2
View file @ 4bfd4559
(* Time-stamp: <modified the 13/03/2019 (at 17:54) by Erwan Jahier> *) (* Time-stamp: <modified the 28/03/2019 (at 15:31) by Erwan Jahier> *)
(* xxx use RifIO.read instead ! *) (* xxx use RifIO.read instead ! *)
let bool verbose_mode p a = let bool verbose_mode p a =
...@@ -18,7 +18,8 @@ let bool verbose_mode p a = ...@@ -18,7 +18,8 @@ let bool verbose_mode p a =
aux (input_char stdin) aux (input_char stdin)
and skip_comment () = and skip_comment () =
match input_char stdin with match input_char stdin with
| '\n' -> aux (input_char stdin) | '\n'-> aux (input_char stdin)
| 'q' -> Printf.eprintf "bye\n"; flush stderr; exit 0
| _ -> skip_comment () | _ -> skip_comment ()
in in
let res = aux x in let res = aux x in
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment