summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/wasm-validator.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/wasm-validator.h b/src/wasm-validator.h
index 8e989c94d..afa7b5d9c 100644
--- a/src/wasm-validator.h
+++ b/src/wasm-validator.h
@@ -287,7 +287,6 @@ public:
void visitReturn(Return* curr) {
if (curr->value) {
- shouldBeFalse(curr->value->is<Nop>(), curr, "cannot return a nop");
if (returnType == unreachable) {
returnType = curr->value->type;
} else if (curr->value->type != unreachable && returnType != curr->value->type) {