From f0a05827d55062d109dc10dbe8b9863286fed040 Mon Sep 17 00:00:00 2001
From: Derek Schuff <dschuff@chromium.org>
Date: Mon, 9 Nov 2015 09:47:13 -0800
Subject: [PATCH] Do nothing more simply for Unreachable type check

---
 ml-proto/spec/check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ml-proto/spec/check.ml b/ml-proto/spec/check.ml
index edc31850b8..a82c92717f 100644
--- 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