Merge pull request #1943 from YosysHQ/dave/fix-1919
authorDavid Shah <dave@ds0.me>
Thu, 16 Apr 2020 12:48:20 +0000 (13:48 +0100)
committerGitHub <noreply@github.com>
Thu, 16 Apr 2020 12:48:20 +0000 (13:48 +0100)
commit2b57c06360fd453840aa1e3b76a410ad300ae197
tree3f6432e5c18281c405d3ead0b12d0ff054634389
parent2f8541a92eb6a733c90170709c4c597452036ab6
parent4d025058208f3b3096192b09371c9320610a44b8
Merge pull request #1943 from YosysHQ/dave/fix-1919

ast: Fix handling of identifiers in the global scope