From 378cc509cd7dcb9db9f1e1b4023ab686955bc9f6 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 10 Nov 2013 23:24:21 +0100
Subject: Call internal checker more often

---
 passes/techmap/techmap.cc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'passes')

diff --git a/passes/techmap/techmap.cc b/passes/techmap/techmap.cc
index 75ff4a6c8..913c8a730 100644
--- a/passes/techmap/techmap.cc
+++ b/passes/techmap/techmap.cc
@@ -352,6 +352,8 @@ struct TechmapPass : public Pass {
 			for (auto &mod_it : design->modules)
 				if (techmap_module(design, mod_it.second, map, handled_cells, celltypeMap, false, opt_mode))
 					did_something = true;
+			if (did_something)
+				design->check();
 		}
 
 		log("No more expansions possible.\n");
-- 
cgit v1.2.3