From e9ac694490707b29cf68ca3aefce46331149c003 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 7 Aug 2018 11:13:07 +0100
Subject: Fix propagation of overly-specific types in early_return rewrite

---
 src/rewrites.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/rewrites.ml b/src/rewrites.ml
index 5ed174ea..0a8c8156 100644
--- a/src/rewrites.ml
+++ b/src/rewrites.ml
@@ -4381,6 +4381,8 @@ let rewrite_defs_lem = [
   ("sizeof", rewrite_sizeof);
   ("early_return", rewrite_defs_early_return);
   ("fix_val_specs", rewrite_fix_val_specs);
+  (* early_return currently breaks the types *)
+  ("recheck_defs", recheck_defs);
   ("remove_blocks", rewrite_defs_remove_blocks);
   ("letbind_effects", rewrite_defs_letbind_effects);
   ("remove_e_assign", rewrite_defs_remove_e_assign);
-- 
cgit v1.2.3