From 3007909ca1f65132bd0850d2be57e781e55707bd Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 2 Aug 2017 18:51:19 +0200
Subject: Tentatively implementing apply.

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

(limited to 'src/ltac2_plugin.mlpack')

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