From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 17 Dec 2017 17:57:54 +0000 (+0100)
Subject: Simple fix BTOR memory encoding
X-Git-Tag: yosys-0.8~244
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=292984896b417a50b1597a1e3a66de53bab0f13e;p=yosys.git

Simple fix BTOR memory encoding
---

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index dd041bfaa..3c5381ce6 100644
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -625,7 +625,7 @@ struct BtorWorker
 					btorf("%d read %d %d %d\n", nid2, data_sid, nid_head, wa_nid);
 
 					int nid3 = next_nid++;
-					btorf("%d not %d %d %d\n", nid3, data_sid, we_nid);
+					btorf("%d not %d %d\n", nid3, data_sid, we_nid);
 
 					int nid4 = next_nid++;
 					btorf("%d and %d %d %d\n", nid4, data_sid, nid2, nid3);
@@ -1002,7 +1002,7 @@ struct BtorWorker
 						btorf("%d read %d %d %d\n", nid2, data_sid, nid_head, wa_nid);
 
 						int nid3 = next_nid++;
-						btorf("%d not %d %d %d\n", nid3, data_sid, we_nid);
+						btorf("%d not %d %d\n", nid3, data_sid, we_nid);
 
 						int nid4 = next_nid++;
 						btorf("%d and %d %d %d\n", nid4, data_sid, nid2, nid3);