diff src/pt-id.h @ 4267:7cd865a8c815

[project @ 2003-01-03 15:27:05 by jwe]
author jwe
date Fri, 03 Jan 2003 15:27:06 +0000
parents 5719210fff4c
children e35b034d3523
line wrap: on
line diff
--- a/src/pt-id.h
+++ b/src/pt-id.h
@@ -56,6 +56,8 @@
 
   ~tree_identifier (void) { }
 
+  bool has_magic_end (void) const { return (name () == "__end__"); }
+
   bool is_identifier (void) const { return true; }
 
   std::string name (void) const;