diff options
Diffstat (limited to 'parsing/tactic_printer.ml')
| -rw-r--r-- | parsing/tactic_printer.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/tactic_printer.ml b/parsing/tactic_printer.ml index e1cc8463c3..484b30e985 100644 --- a/parsing/tactic_printer.ml +++ b/parsing/tactic_printer.ml @@ -188,7 +188,7 @@ let print_treescript nochange sigma pf = (print_script nochange sigma) spfl ) | Some(r,spfl) -> (if nochange then mt () else (pr_change pf.goal ++ fnl ())) ++ - pr_rule_dot r ++ fnl () ++ + pr_rule_dot r ++ begin if List.length spfl > 1 then fnl () ++ |