Fix

Author: chathhorn

semantics/cpp/language/translation/syntax.k

@@ -109,7 +109,7 @@ module CPP-ABSTRACT-SYNTAX
      syntax AType ::= CPPType
                     | ATypeResult
                     | ElaboratedTypeSpecifier(Tag, CId, NNS) [symbol]
-                    | ElaboratedTypeSpecifier(Tag, CId, NNS, List) [symbol]
+                    | ElaboratedTypeSpecifier(Tag, CId, NNS, List) // TODO(chathhorn): make symbol
                     | FunctionPrototype(AType, StrictList, ExceptionSpec, Bool) [strict(1), symbol]
                     | MethodPrototype(Bool, Bool, AType, AType) [strict(3, 4), symbol]
                     | StaticMethodPrototype(AType) [strict, symbol]