Re-enabled assert for new logic loops in "share" pass

diff --git a/passes/opt/share.cc b/passes/opt/share.cc
index e3b0159c0ab332c413bd8b4f1f3bcfb6e4204d65..74b049bb6648c9160d8223edd0467194c413a283 100644 (file)
--- a/passes/opt/share.cc
+++ b/passes/opt/share.cc
@@ -1055,10 +1055,7 @@ struct ShareWorker
                log_assert(recursion_state.empty());
 
                bool after_scc = before_scc || module_has_scc();
-               if (before_scc != after_scc)
-                       log("Warning: introduced topological logic loops!\n");
-               // Pass::call_on_module(design, module, "scc;; show");
-               // log_assert(before_scc == after_scc);
+               log_assert(before_scc == after_scc);
        }
 };