diff --git a/lib/sasacore/rifRead.ml b/lib/sasacore/rifRead.ml index f1df668d0f2247e4ae29a570481d823cda053bf8..d3d62428ccd803b41d44dd01289a05591b161450 100644 --- a/lib/sasacore/rifRead.ml +++ b/lib/sasacore/rifRead.ml @@ -1,4 +1,4 @@ -(* 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 ! *) let bool verbose_mode p a = @@ -18,7 +18,8 @@ let bool verbose_mode p a = aux (input_char stdin) and skip_comment () = 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 () in let res = aux x in