From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 12 May 2019 13:33:53 +0000 (+0200)
Subject: Merge pull request #1004 from YosysHQ/clifford/fix1002
X-Git-Tag: yosys-0.9~127
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5772732a6d24bbf1a46301f03623567079316f7a;p=yosys.git

Merge pull request #1004 from YosysHQ/clifford/fix1002

Fix handling of glob_abort_cnt in opt_muxtree
---

5772732a6d24bbf1a46301f03623567079316f7a