diff options
Diffstat (limited to 'ltac/pptacticsig.mli')
| -rw-r--r-- | ltac/pptacticsig.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ltac/pptacticsig.mli b/ltac/pptacticsig.mli index 74ddd377a..dfbc3b3ed 100644 --- a/ltac/pptacticsig.mli +++ b/ltac/pptacticsig.mli @@ -61,7 +61,7 @@ module type Pp = sig val pr_glob_tactic : env -> glob_tactic_expr -> std_ppcmds - val pr_atomic_tactic : env -> atomic_tactic_expr -> std_ppcmds + val pr_atomic_tactic : env -> Evd.evar_map -> atomic_tactic_expr -> std_ppcmds val pr_hintbases : string list option -> std_ppcmds |