Update interpreter/syntax/free.ml

Co-authored-by: Andreas Rossberg <[email protected]>
WebAssembly · Feb 16, 2021 · f81d04a · f81d04a
1 parent 41d0c6e
commit f81d04a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/interpreter/syntax/free.ml b/interpreter/syntax/free.ml
@@ -123,7 +123,7 @@ let rec instr (e : instr) =
     memories zero
   | MemoryInit x -> memories zero ++ datas (idx x)
   | DataDrop x -> datas (idx x)
-  | Try (_, es1, es2) -> block es1 ++ block es2
+  | Try (bt, es1, es2) -> block_type bt ++ block es1 ++ block es2
   | Throw -> empty
 
 and block (es : instr list) =