diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-05-05 16:48:37 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-05-05 16:48:37 -0700 |
| commit | 6ea92a08db051ce3eea56081150caac9432210cf (patch) | |
| tree | 1c8b1fe5e100c4ab28a6a5a2667cf666b2b5f3dd /src/wasm-validator.h | |
| parent | 727c08faf01da99d57dfe86b3fb0fee9db415f41 (diff) | |
| parent | b39f2dd816cfb518a9327e8df4545556b8ad4c30 (diff) | |
| download | binaryen-6ea92a08db051ce3eea56081150caac9432210cf.tar.gz binaryen-6ea92a08db051ce3eea56081150caac9432210cf.tar.bz2 binaryen-6ea92a08db051ce3eea56081150caac9432210cf.zip | |
Merge pull request #439 from WebAssembly/c-api-more
Validation in C API
Diffstat (limited to 'src/wasm-validator.h')
| -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); |