Merge pull request #2125 from whitequark/cxxrtl-fix-namespace
authorwhitequark <whitequark@whitequark.org>
Tue, 9 Jun 2020 07:52:27 +0000 (07:52 +0000)
committerGitHub <noreply@github.com>
Tue, 9 Jun 2020 07:52:27 +0000 (07:52 +0000)
cxxrtl: add missing namespace


Trivial merge