summaryrefslogtreecommitdiff
path: root/src/validator.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/validator.c')
-rw-r--r--src/validator.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/validator.c b/src/validator.c
index fd558f97..d56f09dc 100644
--- a/src/validator.c
+++ b/src/validator.c
@@ -1326,6 +1326,7 @@ static void check_command(Context* ctx, const WasmCommand* command) {
}
case WASM_COMMAND_TYPE_ASSERT_TRAP:
+ case WASM_COMMAND_TYPE_ASSERT_EXHAUSTION:
/* ignore result type */
check_action(ctx, &command->assert_trap.action);
break;