Fix erroneous ifndef-NDEBUG in verific.cc

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 64152c9cb2ceb807fa8c7d4f8ac6befc33f43733..c5eef4b559c33317d905d77c25da11f722d273b5 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1789,10 +1789,8 @@ struct VerificExtNets
                                new_net = new Net(name.c_str());
                                nl->Add(new_net);
 
-                       #ifndef NDEBUG
-                               Net *n = route_up(new_net, port->IsOutput(), ca_nl, ca_net);
+                               Net *n YS_ATTRIBUTE(unused) = route_up(new_net, port->IsOutput(), ca_nl, ca_net);
                                log_assert(n == ca_net);
-                       #endif
                        }
 
                        if (verific_verbose)