diff --git a/trlc/parser.py b/trlc/parser.py
index 4dbb005..c227ee0 100644
--- a/trlc/parser.py
+++ b/trlc/parser.py
@@ -1299,7 +1299,6 @@ def parse_builtin(self, scope, n_name, t_name):
 
     def parse_name(self, scope):
         # lobster-trace: LRM.Names
-        # lobster-trace: LRM.Case_Sensitive
 
         # This is a bit more complex. The grammar is:
         #