From 87e27056beee0f7b63326d0a1cb3f68249539bee Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 20 Mar 2016 23:24:10 +0100
Subject: Moving Tacsubst to hightactics.

---
 tactics/hightactics.mllib | 1 +
 tactics/tactics.mllib     | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/tactics/hightactics.mllib b/tactics/hightactics.mllib
index 2bd748414c..7987d774d1 100644
--- a/tactics/hightactics.mllib
+++ b/tactics/hightactics.mllib
@@ -1,3 +1,4 @@
+Tacsubst
 Tacenv
 Tactic_debug
 Tacintern
diff --git a/tactics/tactics.mllib b/tactics/tactics.mllib
index 038bb59f09..cb327e52c1 100644
--- a/tactics/tactics.mllib
+++ b/tactics/tactics.mllib
@@ -14,7 +14,6 @@ Equality
 Contradiction
 Inv
 Leminv
-Tacsubst
 Taccoerce
 Hints
 Auto
-- 
cgit v1.2.3