diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-08-17 14:47:02 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-08-17 14:49:55 +0200 |
commit | 27d59dc0550432458d4bd636081a7b9f4b4411fe (patch) | |
tree | e9b591c5f259ec308a7f1dd0b412a5ca09cf2ff6 /frontends/verific | |
parent | 6b156beda16cce69e7318a3a2fdbc3ad547370c6 (diff) | |
download | yosys-27d59dc0550432458d4bd636081a7b9f4b4411fe.tar.gz yosys-27d59dc0550432458d4bd636081a7b9f4b4411fe.tar.bz2 yosys-27d59dc0550432458d4bd636081a7b9f4b4411fe.zip |
Fix erroneous ifndef-NDEBUG in verific.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific')
-rw-r--r-- | frontends/verific/verific.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 64152c9cb..c5eef4b55 100644 --- 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) |