Merge pull request #1998 from whitequark/cxxrtl-fixes
authorwhitequark <whitequark@whitequark.org>
Fri, 24 Apr 2020 22:44:35 +0000 (22:44 +0000)
committerGitHub <noreply@github.com>
Fri, 24 Apr 2020 22:44:35 +0000 (22:44 +0000)
cxxrtl: fix attribute syntax, minor fixes


Trivial merge