From bbf4ee2fe5072fa0bb639dce649c16fdd76f44b0 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 25 Jul 2017 23:43:26 +0200
Subject: Exporting some basic tactics from Ltac1.

---
 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 3d87a8cddb..dc78207291 100644
--- a/src/ltac2_plugin.mlpack
+++ b/src/ltac2_plugin.mlpack
@@ -4,4 +4,5 @@ Tac2intern
 Tac2interp
 Tac2entries
 Tac2core
+Tac2stdlib
 G_ltac2
-- 
cgit v1.2.3