Merge pull request #253 from antonblanchard/fix-verilator
authorAnton Blanchard <anton@linux.ibm.com>
Mon, 7 Dec 2020 11:04:46 +0000 (22:04 +1100)
committerGitHub <noreply@github.com>
Mon, 7 Dec 2020 11:04:46 +0000 (22:04 +1100)
Fix verilator build


Trivial merge