diff options
| -rw-r--r-- | backends/btor/btor.cc | 4 |
1 files changed, 2 insertions, 2 deletions
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); |