From 576d84e4322a9dd7a6d2ffe45172e01182bf44b0 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 11 May 2020 17:41:58 +0200
Subject: Update docgram following #12122 and #12229.

---
 doc/tools/docgram/common.edit_mlg | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

(limited to 'doc/tools/docgram/common.edit_mlg')

diff --git a/doc/tools/docgram/common.edit_mlg b/doc/tools/docgram/common.edit_mlg
index 62cc8ea86b..4149ea7a76 100644
--- a/doc/tools/docgram/common.edit_mlg
+++ b/doc/tools/docgram/common.edit_mlg
@@ -59,6 +59,7 @@ DELETE: [
 | lookup_at_as_comma
 | test_only_starredidentrefs
 | test_bracket_ident
+| test_hash_ident
 | test_lpar_id_colon
 | test_lpar_id_coloneq  (* todo: grammar seems incorrect, repeats the "(" IDENT ":=" *)
 | test_lpar_id_rpar
@@ -1485,14 +1486,6 @@ scope_delimiter: [
 | WITH "%" scope_key
 ]
 
-(* Don't show these details *)
-DELETE: [
-| register_token
-| register_prim_token
-| register_type_token
-]
-
-
 decl_notation: [
 | REPLACE ne_lstring ":=" constr only_parsing OPT [ ":" IDENT ]
 | WITH ne_lstring ":=" constr only_parsing OPT [ ":" scope_name ]
@@ -1677,6 +1670,7 @@ SPLICE: [
 | scope_delimiter
 | bignat
 | one_import_filter_name
+| register_token
 ] (* end SPLICE *)
 
 RENAME: [
-- 
cgit v1.2.3