diff options
Diffstat (limited to 'parsing/tactic_printer.ml')
| -rw-r--r-- | parsing/tactic_printer.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/tactic_printer.ml b/parsing/tactic_printer.ml index c2e0e27fb5..005f804400 100644 --- a/parsing/tactic_printer.ml +++ b/parsing/tactic_printer.ml @@ -89,6 +89,8 @@ let rec print_decl_script tac_printer nochange sigma pf = pr_change pf.goal) ++ fnl () | Some (Daimon,_) -> mt () + | Some (Prim Change_evars,[subpf]) -> + print_decl_script tac_printer nochange sigma subpf | Some (Nested(Proof_instr (opened,instr),_) as rule,subprfs) -> begin match instr.instr,subprfs with |