From 05421cef04206a18cb30f6d115d27e7cb25ba0bf Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Thu, 30 Mar 2017 10:09:01 +0200
Subject: Declaring ltac plugin, so that static linking works.

---
 plugins/ltac/g_ltac.ml4 | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'plugins/ltac')

diff --git a/plugins/ltac/g_ltac.ml4 b/plugins/ltac/g_ltac.ml4
index aab568746..fd33a779d 100644
--- a/plugins/ltac/g_ltac.ml4
+++ b/plugins/ltac/g_ltac.ml4
@@ -8,6 +8,8 @@
 
 (*i camlp4deps: "grammar/grammar.cma" i*)
 
+DECLARE PLUGIN "ltac_plugin"
+
 open Util
 open Pp
 open Compat
-- 
cgit v1.2.3