From f392ad50331d3e59d3e2f3ec66c0a42112506d7f Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 18 Aug 2017 16:48:00 +0200
Subject: Laxer dependencies between file and link reordering.

---
 src/ltac2_plugin.mlpack | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/ltac2_plugin.mlpack')

diff --git a/src/ltac2_plugin.mlpack b/src/ltac2_plugin.mlpack
index 4c4082ad65..f9fa2fafd8 100644
--- a/src/ltac2_plugin.mlpack
+++ b/src/ltac2_plugin.mlpack
@@ -4,8 +4,8 @@ Tac2intern
 Tac2interp
 Tac2entries
 Tac2ffi
-Tac2core
 Tac2quote
+Tac2core
 Tac2tactics
 Tac2stdlib
 G_ltac2
-- 
cgit v1.2.3