From: clairexen Date: Sat, 22 Aug 2020 10:28:39 +0000 (+0200) Subject: Merge pull request #2349 from nmoroze/smt2-bugfix X-Git-Tag: working-ls180~304 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0f81e2789855367e7aa75b00b7d42aa4f5af3d20;p=yosys.git Merge pull request #2349 from nmoroze/smt2-bugfix Ensure smt2 comments are associated with accessors --- 0f81e2789855367e7aa75b00b7d42aa4f5af3d20