Skip to content

Commit

Permalink
Fix warning in Release build. (#341)
Browse files Browse the repository at this point in the history
  • Loading branch information
msoeken committed Apr 25, 2020
1 parent 35d1f7e commit 3c8a936
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions include/mockturtle/generators/self_dualize.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -81,6 +81,7 @@ aig_network self_dualize_aig( aig_network const& src_aig )
/* check if all leaves are pis */
for ( const auto& l : leaves )
{
(void)l;
assert( src_aig.is_pi( l ) );
}

Expand Down

0 comments on commit 3c8a936

Please sign in to comment.