fixes unknown tracing target (#117)

bmw-software-engineering · Nov 11, 2024 · 629f9ec · 629f9ec
1 parent 04a3e61
commit 629f9ec
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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:
         #