Skip to content

Commit 50e2a52

Browse files
committed
[8.8.2.2 Array methods] Enhance error message when using sum() without numeric data type (int or bit)
1 parent 914194e commit 50e2a52

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/PSSArrayInst.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -165,7 +165,7 @@ public PSSIntInst size() {
165165
public PSSIntInst sum() {
166166
if (!(m_elem_type_model instanceof PSSIntModel))
167167
PSSMessage.Error("ArrayInst",
168-
"Array.sum() is only used on Int type.");
168+
"Array.sum() is only used on `int` or `bit` type.");
169169

170170
int sum = 0;
171171
for (PSSVal e : toVal().getValList())

0 commit comments

Comments
 (0)