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.

---
 proofs/proofs.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'proofs/proofs.mllib')

diff --git a/proofs/proofs.mllib b/proofs/proofs.mllib
index 47a637575..08556d62e 100644
--- a/proofs/proofs.mllib
+++ b/proofs/proofs.mllib
@@ -11,6 +11,5 @@ Redexpr
 Refiner
 Tacmach
 Pfedit
-Tactic_debug
 Clenv
 Clenvtac
-- 
cgit v1.2.3