Merge pull request #2349 from nmoroze/smt2-bugfix
authorclairexen <claire@symbioticeda.com>
Sat, 22 Aug 2020 10:28:39 +0000 (12:28 +0200)
committerGitHub <noreply@github.com>
Sat, 22 Aug 2020 10:28:39 +0000 (12:28 +0200)
commit0f81e2789855367e7aa75b00b7d42aa4f5af3d20
tree1d7b2145b8d7ecc21e2fc30fc87b03ab2af199cb
parentdc20d9e842c62a86d5a4fd74b63dbcb11c6c288f
parent91682d189e55923114726b797968ef939777000c
Merge pull request #2349 from nmoroze/smt2-bugfix

Ensure smt2 comments are associated with accessors