From f3983a094052e875e05823a6063c1775d1f84b39 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 20 May 2016 16:43:13 +0200 Subject: [PATCH] Also escape "=" in spice output --- backends/spice/spice.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/backends/spice/spice.cc b/backends/spice/spice.cc index 4b88a3909..4101cbf98 100644 --- a/backends/spice/spice.cc +++ b/backends/spice/spice.cc @@ -29,7 +29,7 @@ PRIVATE_NAMESPACE_BEGIN static string spice_id2str(IdString id) { - static const char *escape_chars = "$\\[]()<>"; + static const char *escape_chars = "$\\[]()<>="; string s = RTLIL::unescape_id(id); for (auto &ch : s) -- 2.30.2