Fix nit

WebAssembly · Oct 18, 2023 · 697ac89 · 697ac89
1 parent 8ce5b1f
commit 697ac89
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/interpreter/valid/valid.ml b/interpreter/valid/valid.ml
@@ -196,7 +196,7 @@ let check_memory_type (c : context) (mt : memory_type) at =
 
 let check_tag_type (c : context) (et : tag_type) at =
   match et with
-  | TagT ft -> check_heap_type c ft at
+  | TagT ht -> check_heap_type c ht at
 
 let check_global_type (c : context) (gt : global_type) at =
   let GlobalT (_mut, t) = gt in