Merge pull request #1374 from YosysHQ/eddie/fix1371
authorEddie Hung <eddie@fpgeh.com>
Sun, 15 Sep 2019 20:56:07 +0000 (13:56 -0700)
committerGitHub <noreply@github.com>
Sun, 15 Sep 2019 20:56:07 +0000 (13:56 -0700)
Fix two non-deterministic behaviours that cause divergence between compilers


Trivial merge