From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 26 Apr 2019 22:35:34 +0000 (-0700)
Subject: Where did this check come from!?!
X-Git-Tag: yosys-0.9~165
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ea0e0722bb42254ac8c63eb41664d9dfb7973aec;p=yosys.git

Where did this check come from!?!
---

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 53eee7962..58dd928a0 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -275,7 +275,6 @@ struct SynthXilinxPass : public Pass
 				Pass::call(design, "techmap -map +/xilinx/arith_map.v");
 			}
 
-			Pass::call(design, "hierarchy -check");
 			Pass::call(design, "opt -fast");
 		}