From dba567555fed9c88887b463a975c3d7e0852ebd3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 11 Oct 2018 19:17:47 +0200
Subject: Plug ARGUMENT EXTEND into the argument extension API.

---
 plugins/ssrmatching/g_ssrmatching.ml4 | 1 -
 1 file changed, 1 deletion(-)

(limited to 'plugins/ssrmatching')

diff --git a/plugins/ssrmatching/g_ssrmatching.ml4 b/plugins/ssrmatching/g_ssrmatching.ml4
index 746c368aa9..9e1f992f38 100644
--- a/plugins/ssrmatching/g_ssrmatching.ml4
+++ b/plugins/ssrmatching/g_ssrmatching.ml4
@@ -9,7 +9,6 @@
 (************************************************************************)
 
 open Ltac_plugin
-open Genarg
 open Pcoq
 open Pcoq.Constr
 open Ssrmatching
-- 
cgit v1.2.3