Fix

Author: chathhorn

semantics/cpp/language/translation/syntax.k

@@ -120,7 +120,7 @@ module CPP-ABSTRACT-SYNTAX
                     | PointerType(AType) [strict, symbol]
                     | MemberPointerType(AType, AType) [strict, symbol]
                     | ArrayType(AType, Int) [strict(1), symbol]
-                    | ArrayType(AType, AExpr) [strict(1), symbol]
+                    | ArrayType(AType, AExpr) [strict(1)]
                     | TypedefType(CId) [symbol]
                     | QualifiedTypeName(Tag, NNS, AType) [symbol]
                     | Decltype(Expr) [symbol]