Merge pull request #1955 from whitequark/cxxrtl-sync_always
authorwhitequark <whitequark@whitequark.org>
Fri, 17 Apr 2020 21:36:59 +0000 (21:36 +0000)
committerGitHub <noreply@github.com>
Fri, 17 Apr 2020 21:36:59 +0000 (21:36 +0000)
cxxrtl: correctly handle `sync always` rules


Trivial merge