From: Aki Van Ness <aki@yosyshq.com>
Date: Thu, 10 Mar 2022 16:04:44 +0000 (-0500)
Subject: pass jny: fixed missing quotes around the type value for the cell sort
X-Git-Tag: smtlib2-expr-support-on-0.13-old~6
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=75ea423111b8fd83e1b6faa77295a1cdbf5f0e86;p=yosys.git

pass jny: fixed missing quotes around the type value for the cell sort

(cherry picked from commit 5a016713cc78e5c1e6abf3c5d3acefcd42016167)
---

diff --git a/backends/jny/jny.cc b/backends/jny/jny.cc
index 8025d42d2..1cbfaaddc 100644
--- a/backends/jny/jny.cc
+++ b/backends/jny/jny.cc
@@ -302,7 +302,7 @@ struct JnyWriter
         const auto _indent = gen_indent(indent_level);
 
         f << _indent << "{\n";
-        f << stringf("  %s\"type\": %s,\n", _indent.c_str(), sort.first.c_str());
+        f << stringf("  %s\"type\": \"%s\",\n", _indent.c_str(), sort.first.c_str());
         f << _indent << "  \"ports\": [\n";
 
         write_cell_ports(port_cell, indent_level + 2);