Index: src/SymTab/Validate.cc
===================================================================
--- src/SymTab/Validate.cc	(revision bdad6eb77faef046f27537f159a1459dd36cd4ad)
+++ src/SymTab/Validate.cc	(revision bee7f045f9a7db01f0b9ff64ab06d40e32c43706)
@@ -754,5 +754,8 @@
 				throw SemanticError( "Cannot redefine typedef: " + tyDecl->name );
 			}
-			// cannot redefine VLA typedefs
+			// Cannot redefine VLA typedefs. Note: this is slightly incorrect, because our notion of VLAs
+			// at this point in the translator is imprecise. In particular, this will disallow redefining typedefs
+			// with arrays whose dimension is an enumerator or a cast of a constant/enumerator. The effort required
+			// to fix this corner case likely outweighs the utility of allowing it.
 			if ( isVariableLength( t1 ) || isVariableLength( t2 ) ) {
 				throw SemanticError( "Cannot redefine typedef: " + tyDecl->name );