Jonathan Graveline pushed to branch graveline at Stefan / Typer
Commits: bfa8bdcf by Jonathan Graveline at 2018-05-17T22:16:53Z Change from master - - - - -
1 changed file:
- src/util.ml
Changes:
===================================== src/util.ml ===================================== --- a/src/util.ml +++ b/src/util.ml @@ -86,7 +86,7 @@ let msg_info = msg_message 3 "Info:"
(* Compiler Internal Debug print *) let debug_msg expr = - if 4 <= !_typer_verbose then expr else () + if 4 <= !_typer_verbose then (print_string expr; flush stdout) else ()
let not_implemented_error () = internal_error "not implemented"
View it on GitLab: https://gitlab.com/monnier/typer/commit/bfa8bdcf9abaf63f2952fcf1e252878789e7...
Afficher les réponses par date