Revert "Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check"

This reverts commit 759283fa65b1195ebe3a5bc6890ec622febca0eb, reversing
changes made to f41c7ccfff4bf104c646ca4b85e079a0f91c9151.

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 6f0ed6e89f01743851f6bb7db0068fadcc70f93c..ddda1bd5aeb60eb682954c7e8044568f7ed736e5 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -293,10 +293,6 @@ struct XAigerWriter
                                if (abc9_flop)
                                        continue;
                        }
-                       else {
-                               if (cell->type == ID($__ABC9_DELAY))
-                                       log_error("Cell type '%s' not recognised. Check that '+/abc9_model.v' has been read.\n", cell->type.c_str());
-                       }
 
                        bool cell_known = inst_module || cell->known();
                        for (const auto &c : cell->connections()) {