From 975e7cd2ad032668c7df690c9bdaa8cdbb196569 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Thu, 15 Sep 2016 16:09:17 +0200
Subject: Moving Ltac-specific generic arguments to their own file in the ltac/
 folder.

---
 plugins/quote/g_quote.ml4 | 1 +
 1 file changed, 1 insertion(+)

(limited to 'plugins/quote')

diff --git a/plugins/quote/g_quote.ml4 b/plugins/quote/g_quote.ml4
index fd87d5b7d..ebd19428f 100644
--- a/plugins/quote/g_quote.ml4
+++ b/plugins/quote/g_quote.ml4
@@ -14,6 +14,7 @@ open Tacexpr
 open Geninterp
 open Quote
 open Constrarg
+open Tacarg
 
 DECLARE PLUGIN "quote_plugin"
 
-- 
cgit v1.2.3