From: N. Engelhardt <nak@symbioticeda.com>
Date: Fri, 5 Jun 2020 09:36:08 +0000 (+0200)
Subject: Merge pull request #2109 from nakengelhardt/btor_internal_names
X-Git-Tag: working-ls180~502
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9669e0c7d50601263345d20fcbdb6a1b2001efc1;p=yosys.git

Merge pull request #2109 from nakengelhardt/btor_internal_names

btor backend: make not printing internal names default
---

9669e0c7d50601263345d20fcbdb6a1b2001efc1