From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 30 Sep 2019 02:35:23 +0000 (-0700)
Subject: Merge pull request #1414 from hzeller/improve-replace-with-empty-map
X-Git-Tag: working-ls180~1038
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d5f0794a531b36976d2c4d181b1c3921b801bbfa;p=yosys.git

Merge pull request #1414 from hzeller/improve-replace-with-empty-map

Avoid work in replace() if rules empty.
---

d5f0794a531b36976d2c4d181b1c3921b801bbfa