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/ssr/ssrparser.ml4 | 1 -
 plugins/ssr/ssrvernac.ml4 | 1 -
 2 files changed, 2 deletions(-)

(limited to 'plugins/ssr')

diff --git a/plugins/ssr/ssrparser.ml4 b/plugins/ssr/ssrparser.ml4
index e4a0910673..319f58931a 100644
--- a/plugins/ssr/ssrparser.ml4
+++ b/plugins/ssr/ssrparser.ml4
@@ -15,7 +15,6 @@ open Names
 open Pp
 open Pcoq
 open Ltac_plugin
-open Genarg
 open Stdarg
 open Tacarg
 open Libnames
diff --git a/plugins/ssr/ssrvernac.ml4 b/plugins/ssr/ssrvernac.ml4
index d62656f95f..02a5d08507 100644
--- a/plugins/ssr/ssrvernac.ml4
+++ b/plugins/ssr/ssrvernac.ml4
@@ -25,7 +25,6 @@ open Notation_ops
 open Notation_term
 open Glob_term
 open Stdarg
-open Genarg
 open Decl_kinds
 open Pp
 open Ppconstr
-- 
cgit v1.2.3