Index: src/SymTab/TypeEquality.cc
===================================================================
--- src/SymTab/TypeEquality.cc	(revision cc79d97aac8c65840db0f7f3343a3822f28c7f51)
+++ src/SymTab/TypeEquality.cc	(revision 71bd8c643a0b33dbf0524e863716e19b32478cfd)
@@ -10,6 +10,6 @@
 // Created On       : Tue Jul 07 16:28:29 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jul 08 13:41:53 2015
-// Update Count     : 34
+// Last Modified On : Wed Jul 08 16:20:09 2015
+// Update Count     : 35
 //
 
@@ -102,4 +102,15 @@
 			}
 
+			if ( ! arrayType->get_isVarLen() && ! at->get_isVarLen() ) {
+				ConstantExpr * ce1 = dynamic_cast< ConstantExpr * >( arrayType->get_dimension() );
+				ConstantExpr * ce2 = dynamic_cast< ConstantExpr * >( at->get_dimension() );
+				assert(ce1 && ce2);
+
+				Constant * c1 = ce1->get_constant();
+				Constant * c2 = ce2->get_constant();
+
+				result = result && c1->get_value() == c2->get_value();
+			}
+
 			other = at->get_base();
 			arrayType->get_base()->accept( *this );