From 7f39d17e7c1d7655be595ccbe741a15ba780b785 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 11 Oct 2018 15:15:38 +0200
Subject: Providing a centralized API for ARGUMENT EXTEND.

We chose to stick to the most general possible API, even though the macro
will not make full use of the possibilities. It makes explicit the various
data expected to be provided in an orthogonal way.
---
 plugins/ltac/ltac_plugin.mlpack | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/ltac/ltac_plugin.mlpack')

diff --git a/plugins/ltac/ltac_plugin.mlpack b/plugins/ltac/ltac_plugin.mlpack
index ec96e1bbdd..e83eab20dc 100644
--- a/plugins/ltac/ltac_plugin.mlpack
+++ b/plugins/ltac/ltac_plugin.mlpack
@@ -7,10 +7,10 @@ Pltac
 Taccoerce
 Tactic_debug
 Tacintern
-Tacentries
 Profile_ltac
 Tactic_matching
 Tacinterp
+Tacentries
 Evar_tactics
 Tactic_option
 Extraargs
-- 
cgit v1.2.3