Do nothing more simply for Unreachable type check

WebAssembly · Nov 9, 2015 · f0a0582 · f0a0582
1 parent fe6c87b
commit f0a0582
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ml-proto/spec/check.ml b/ml-proto/spec/check.ml
@@ -219,7 +219,7 @@ let rec check_expr c et e =
     check_expr c (Some t) e3
 
   | Unreachable ->
-    check_type None None e.at
+    ()
 
   | Host (hostop, es) ->
     let ({ins; out}, hasmem) = type_hostop hostop in