Disallow user-defined attributes that begin with an underscore

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg
index 8a3bdb0e..b945632d 100644
--- a/Source/Dafny/Dafny.atg
+++ b/Source/Dafny/Dafny.atg
@@ -2915,10 +2915,10 @@ Expressions<.List<Expression> args.>
   .

 /*------------------------------------------------------------------------*/

 Attribute<ref Attributes attrs>

-= (. string name;

+= (. IToken x; string name;

      var args = new List<Expression>();

   .)

-  "{" ":" ident                            (. name = t.val; .)

+  "{" ":" NoUSIdent<out x>                          (. name = x.val; .)

   [ Expressions<args> ]

   "}"

   (. attrs = new Attributes(name, args, attrs); .)