Merge pull request #2270 from whitequark/cxxrtl-fix-typo
authorwhitequark <whitequark@whitequark.org>
Thu, 16 Jul 2020 09:48:10 +0000 (09:48 +0000)
committerGitHub <noreply@github.com>
Thu, 16 Jul 2020 09:48:10 +0000 (09:48 +0000)
cxxrtl: fix typo


Trivial merge