From 49ff96ae8c6acd986d03538d7fa748ea14645ecd Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 7 May 2016 16:39:34 -0700
Subject: [PATCH] fix(compiler/preprocess_rec): do not type check after
 erase_irrelevant

---
 src/compiler/preprocess_rec.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/compiler/preprocess_rec.cpp b/src/compiler/preprocess_rec.cpp
index 1072827f1d..c4a42c9459 100644
--- a/src/compiler/preprocess_rec.cpp
+++ b/src/compiler/preprocess_rec.cpp
@@ -127,12 +127,12 @@ public:
             procs.emplace_back(d.get_name(), d.get_value());
         }
         procs.emplace_back(d.get_name(), v);
+        check(d, procs.back().second);
 
         erase_irrelevant(procs);
-
         display(procs);
         // TODO(Leo)
-        check(d, procs.back().second);
+
     }
 };