diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2014-12-18 16:34:20 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2014-12-18 16:34:20 +0100 |
| commit | 4cb94e38a29badc26abd888875a21569672838dd (patch) | |
| tree | 62468b0b7add3f1235e0d8e60676ee309e863440 /tactics/tacinterp.ml | |
| parent | c6d356844ec857b376302c50c925faae558814a9 (diff) | |
Fixed bad newlines in output for std output and emacs.
I added a emacs_logger.
Still need to cleanup std_logger.
Diffstat (limited to 'tactics/tacinterp.ml')
| -rw-r--r-- | tactics/tacinterp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/tacinterp.ml b/tactics/tacinterp.ml index dd937cf6a..bbeb23c78 100644 --- a/tactics/tacinterp.ml +++ b/tactics/tacinterp.ml @@ -1125,7 +1125,7 @@ and eval_tactic ist tac : unit Proofview.tactic = match tac with let msgnl = let open Ftactic in interp_message ist s >>= fun msg -> - return (hov 0 msg , hov 0 msg ++ fnl ()) + return (hov 0 msg , hov 0 msg) in let print (_,msgnl) = Proofview.(tclLIFT (NonLogical.print msgnl)) in let log (msg,_) = Proofview.Trace.log (fun () -> msg) in |