Merge pull request #2130 from whitequark/cxxrtl-fix-split_by
authorwhitequark <whitequark@whitequark.org>
Tue, 9 Jun 2020 11:59:17 +0000 (11:59 +0000)
committerGitHub <noreply@github.com>
Tue, 9 Jun 2020 11:59:17 +0000 (11:59 +0000)
cxxrtl: fix two buggy split_by functions


Trivial merge