Fix.

kframework · Oct 27, 2019 · b370188 · b370188
1 parent bd6f726
commit b370188
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/semantics/cpp/language/common/class.k b/semantics/cpp/language/common/class.k
@@ -35,12 +35,14 @@ module CPP-CLASS-BASIC-SYNTAX
 
      syntax Class ::= ClassQualifier "::" ClassSpecifier [klabel(classId)]
 
+     // TODO(chathhorn): commenting these out because they seem to be redundant (with the above production for Class)
+     // and cause parsing ambiguities.
+     syntax InnerClass ::= Class // TODO(chathhorn): added by me to replace the stuff below.
      // syntax LocalClass ::= LocalQualifier "::" ClassSpecifier [klabel(classId)]
 
      // syntax Class ::= LocalClass
      // syntax Class ::= InnerClass
 
-     // Redundant
      // syntax InnerClass ::= Class "::" ClassSpecifier [klabel(classId)]
 
      // syntax LocalInnerClass ::= LocalClass