Index: src/SymTab/Validate.cc
===================================================================
--- src/SymTab/Validate.cc	(revision bdad6eb77faef046f27537f159a1459dd36cd4ad)
+++ src/SymTab/Validate.cc	(revision 6138d0f75a1531a2f79bd02da26e6696c38ac53d)
@@ -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 );