From 9e96794d6a4327761ce1ff992351199919431be1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sun, 6 Mar 2016 19:01:38 +0100
Subject: Moving Tactic_debug to tactics/ folder.

---
 toplevel/vernacentries.ml | 12 ------------
 1 file changed, 12 deletions(-)

(limited to 'toplevel/vernacentries.ml')

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index 38832b422..d769c6033 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -1433,18 +1433,6 @@ let _ =
       optread  = Flags.get_dump_bytecode;
       optwrite = Flags.set_dump_bytecode }
 
-let vernac_debug b =
-  set_debug (if b then Tactic_debug.DebugOn 0 else Tactic_debug.DebugOff)
-
-let _ =
-  declare_bool_option
-    { optsync  = false;
-      optdepr  = false;
-      optname  = "Ltac debug";
-      optkey   = ["Ltac";"Debug"];
-      optread  = (fun () -> get_debug () != Tactic_debug.DebugOff);
-      optwrite = vernac_debug }
-
 let _ =
   declare_bool_option
     { optsync  = true;
-- 
cgit v1.2.3