From d1c71b1f3b11e2eb29a5898610d6128b7d535337 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Wed, 1 Oct 2014 20:16:18 +0200
Subject: Made Tacsubst independent of Auto at linking time so that Tacenv does
 not draw Auto.

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

(limited to 'tactics/tactics.mllib')

diff --git a/tactics/tactics.mllib b/tactics/tactics.mllib
index 69836a654..e2c0f40fb 100644
--- a/tactics/tactics.mllib
+++ b/tactics/tactics.mllib
@@ -10,7 +10,6 @@ Eqschemes
 Elimschemes
 Tactics
 Elim
-Auto
 Equality
 Contradiction
 Inv
@@ -18,6 +17,7 @@ Leminv
 Tacsubst
 Taccoerce
 Tacenv
+Auto
 Tacintern
 TacticMatching
 Tacinterp
-- 
cgit v1.2.3