From 975e7cd2ad032668c7df690c9bdaa8cdbb196569 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Thu, 15 Sep 2016 16:09:17 +0200 Subject: Moving Ltac-specific generic arguments to their own file in the ltac/ folder. --- plugins/setoid_ring/g_newring.ml4 | 1 + 1 file changed, 1 insertion(+) (limited to 'plugins/setoid_ring') diff --git a/plugins/setoid_ring/g_newring.ml4 b/plugins/setoid_ring/g_newring.ml4 index 1a0020031..13e225404 100644 --- a/plugins/setoid_ring/g_newring.ml4 +++ b/plugins/setoid_ring/g_newring.ml4 @@ -16,6 +16,7 @@ open Newring_ast open Newring open Stdarg open Constrarg +open Tacarg open Pcoq.Constr open Pltac -- cgit v1.2.3