diff options
Diffstat (limited to 'contrib/interface/debug_tac.ml4')
| -rw-r--r-- | contrib/interface/debug_tac.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/interface/debug_tac.ml4 b/contrib/interface/debug_tac.ml4 index a7ea5ea624..dbb85895a1 100644 --- a/contrib/interface/debug_tac.ml4 +++ b/contrib/interface/debug_tac.ml4 @@ -10,7 +10,7 @@ open Proof_type;; open Tacexpr;; open Genarg;; -let pr_glob_tactic = Pptacticnew.pr_glob_tactic (Global.env()) +let pr_glob_tactic = Pptactic.pr_glob_tactic (Global.env()) (* Compacting and uncompacting proof commands *) |