From: Aki Van Ness <aki@yosyshq.com>
Date: Thu, 10 Mar 2022 16:03:51 +0000 (-0500)
Subject: pass jny: fixed the backslash escape for strings
X-Git-Tag: smtlib2-expr-support-on-0.13-old~7
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4f8560db4c1fcd8814e71ed3e72d521295472872;p=yosys.git

pass jny: fixed the backslash escape for strings

(cherry picked from commit 2e792857e9f26078b65d969d9ad2a1c27326b330)
---

diff --git a/backends/jny/jny.cc b/backends/jny/jny.cc
index 763d186ac..8025d42d2 100644
--- a/backends/jny/jny.cc
+++ b/backends/jny/jny.cc
@@ -55,8 +55,7 @@ struct JnyWriter
             for(; itr != str.end(); ++itr) {
                 switch (*itr) {
                     case '\\': {
-                        newstr += *itr++;
-                        newstr += *itr;
+                        newstr += "\\\\";
                         break;
                     } case '\n': {
                         newstr += "\\n";