diff --git a/lib/sasacore/rifRead.ml b/lib/sasacore/rifRead.ml index d3d62428ccd803b41d44dd01289a05591b161450..d00d15d293dbcb0925c3e0153fea01aa29e17b9b 100644 --- a/lib/sasacore/rifRead.ml +++ b/lib/sasacore/rifRead.ml @@ -1,4 +1,4 @@ -(* Time-stamp: <modified the 28/03/2019 (at 15:31) by Erwan Jahier> *) +(* Time-stamp: <modified the 28/03/2019 (at 16:29) by Erwan Jahier> *) (* xxx use RifIO.read instead ! *) let bool verbose_mode p a = @@ -20,7 +20,7 @@ let bool verbose_mode p a = match input_char stdin with | '\n'-> aux (input_char stdin) | 'q' -> Printf.eprintf "bye\n"; flush stderr; exit 0 - | _ -> skip_comment () + | c -> (if verbose_mode then print_char c) ;skip_comment () in let res = aux x in if verbose_mode then (