From 6b5b4db599333546334bcdbd852be72ddb39d9dc Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 11 Oct 2018 18:13:12 +0200
Subject: Deprecating the RAW_TYPED and GLOB_TYPED stanzas of the ARGUMENT
 EXTEND macro.

Those optional arguments did not really make sense. It was pretty clear from
our code base, as all instances where triplicating the same type for TYPED,
RAW_TYPED and GLOB_TYPED.
---
 plugins/firstorder/g_ground.ml4 | 2 --
 1 file changed, 2 deletions(-)

(limited to 'plugins/firstorder')

diff --git a/plugins/firstorder/g_ground.ml4 b/plugins/firstorder/g_ground.ml4
index fdeef5f0ac..ff106404c8 100644
--- a/plugins/firstorder/g_ground.ml4
+++ b/plugins/firstorder/g_ground.ml4
@@ -138,9 +138,7 @@ let warn_deprecated_syntax =
 ARGUMENT EXTEND firstorder_using
   TYPED AS reference_list
   PRINTED BY pr_firstorder_using_typed
-  RAW_TYPED AS reference_list
   RAW_PRINTED BY pr_firstorder_using_raw
-  GLOB_TYPED AS reference_list
   GLOB_PRINTED BY pr_firstorder_using_glob
 | [ "using" reference(a) ] -> [ [a] ]
 | [ "using" reference(a) "," ne_reference_list_sep(l,",") ] -> [ a::l ]
-- 
cgit v1.2.3