From 8aef0199bed6fde2233704deda4116453fca869f Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 28 Jul 2017 18:05:58 +0200
Subject: Moving the Ltac2 FFI to a separate file.

---
 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 dc78207291..1d7b655dce 100644
--- a/src/ltac2_plugin.mlpack
+++ b/src/ltac2_plugin.mlpack
@@ -3,6 +3,7 @@ Tac2print
 Tac2intern
 Tac2interp
 Tac2entries
+Tac2ffi
 Tac2core
 Tac2stdlib
 G_ltac2
-- 
cgit v1.2.3