1 files changed, 1 insertions, 1 deletions
diff --git a/src/wasm-interpreter.h b/src/wasm-interpreter.h
index 0e74af02a..2a522c732 100644
--- a/src/wasm-interpreter.h
+++ b/src/wasm-interpreter.h
@@ -3815,7 +3815,7 @@ public:
     NOTE_ENTER("Pop");
     assert(!multiValues.empty());
     auto ret = multiValues.back();
-    assert(curr->type == ret.getType());
+    assert(Type::isSubType(ret.getType(), curr->type));
     multiValues.pop_back();
     return ret;
   }