From de26e97cf37cafd37b83377d2df062a6e82676e7 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Sun, 12 May 2013 15:33:40 +0000
Subject: Use the Hook module here and there.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16510 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 printing/pptactic.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'printing/pptactic.ml')

diff --git a/printing/pptactic.ml b/printing/pptactic.ml
index d57129ad3b..37678525ea 100644
--- a/printing/pptactic.ml
+++ b/printing/pptactic.ml
@@ -1014,13 +1014,13 @@ let pr_glob_tactic_level env =
 
 let pr_glob_tactic env = pr_glob_tactic_level env ltop
 
-let _ = Tactic_debug.set_tactic_printer
+let _ = Hook.set Tactic_debug.tactic_printer
   (fun x -> pr_glob_tactic (Global.env()) x)
 
-let _ = Tactic_debug.set_match_pattern_printer
+let _ = Hook.set Tactic_debug.match_pattern_printer
   (fun env hyp -> pr_match_pattern (pr_constr_pattern_env env) hyp)
 
-let _ = Tactic_debug.set_match_rule_printer
+let _ = Hook.set Tactic_debug.match_rule_printer
   (fun rl ->
     pr_match_rule false (pr_glob_tactic (Global.env()))
       (fun (_,p) -> pr_constr_pattern p) rl)
-- 
cgit v1.2.3