tweak

wasmfx · Sep 8, 2024 · f3c3bf5 · f3c3bf5
1 parent 7440485
commit f3c3bf5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/interpreter/valid/valid.ml b/interpreter/valid/valid.ml
@@ -439,12 +439,12 @@ let check_memop (c : context) (memop : ('t, 's) memop) ty_size get_sz at =
  * declarative typing rules.
  *)
 
-let check_resume_table (c : context) hdlt ts2 (xys : (idx * hdl) list) at =
+let check_resume_table (c : context) hrt ts2 (xys : (idx * hdl) list) at =
   List.iter (fun (x1, x2) ->
       match x2 with
       | OnLabel x2 ->
         let FuncT (ts3, ts4) =
-          match hdlt with
+          match hrt with
           | Some rt ->
             let FuncT (ts3, ts4) = func_type_of_tag_type c (tag c x1) x1.at in
             FuncT (ts3, ts4 @ [RefT rt])