Merge pull request #1788 from YosysHQ/eddie/fix_ndebug
authorEddie Hung <eddie@fpgeh.com>
Thu, 19 Mar 2020 21:58:06 +0000 (14:58 -0700)
committerGitHub <noreply@github.com>
Thu, 19 Mar 2020 21:58:06 +0000 (14:58 -0700)
Fix NDEBUG warnings


Trivial merge