rtlil: remove dotted identifiers.
authorwhitequark <whitequark@whitequark.org>
Wed, 25 Nov 2020 16:47:20 +0000 (16:47 +0000)
committerwhitequark <whitequark@whitequark.org>
Wed, 25 Nov 2020 16:47:20 +0000 (16:47 +0000)
commit015b476e56b6bc05acdf9055284e633c1cce2491
tree3f035b5d68bbebb81faa44d4ff8fd1c915b52a36
parent5b35d953f749beafeceecc67862419221e91fe84
rtlil: remove dotted identifiers.

No one knows where they came from and they never did anything useful.
frontends/rtlil/rtlil_lexer.l