From: Miodrag Milanović <mmicko@gmail.com>
Date: Thu, 24 Mar 2022 16:25:09 +0000 (+0100)
Subject: Merge pull request #3243 from nakengelhardt/fix_aiw_comment
X-Git-Tag: yosys-0.16~29
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=89dcd7c31ef1dea2201f9514c0c4b5324e6066df;p=yosys.git

Merge pull request #3243 from nakengelhardt/fix_aiw_comment

smtbmc: ignore # comment lines
---

89dcd7c31ef1dea2201f9514c0c4b5324e6066df