Fix for an array-of-record model generation assert-fail (assert was too strong).

diff --git a/src/util/array_store_all.h b/src/util/array_store_all.h
index bccefdd58699350cc71a4f57803037ef69606a43..b1d624266c1578df2594926fd052baaa2d2e1a60 100644 (file)
--- a/src/util/array_store_all.h
+++ b/src/util/array_store_all.h
@@ -46,7 +46,7 @@ public:
     // because this check is done in production builds too
     CheckArgument(type.isArray(), type, "array store-all constants can only be created for array types, not `%s'", type.toString().c_str());
 
-    CheckArgument(expr.getType().isSubtypeOf(type.getConstituentType()), expr, "expr type `%s' does not match constituent type of array type `%s'", expr.getType().toString().c_str(), type.toString().c_str());
+    CheckArgument(expr.getType().isComparableTo(type.getConstituentType()), expr, "expr type `%s' does not match constituent type of array type `%s'", expr.getType().toString().c_str(), type.toString().c_str());
     CheckArgument(expr.isConst(), expr, "ArrayStoreAll requires a constant expression");
   }