diff options
| -rw-r--r-- | src/wasm-validator.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/wasm-validator.h b/src/wasm-validator.h index a31f6ae15..3a9980860 100644 --- a/src/wasm-validator.h +++ b/src/wasm-validator.h @@ -86,7 +86,7 @@ public: noteBreak(curr->default_, curr->value); } void visitSetLocal(SetLocal *curr) { - shouldBeTrue(curr->type == curr->value->type, curr, "set_local type might be correct"); + shouldBeEqual(curr->type, curr->value->type, curr, "set_local type must be correct"); } void visitLoad(Load *curr) { validateAlignment(curr->align); |