From fce68536d3e9b09bc621af0705a318ae030e0639 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Wed, 30 May 2018 09:04:39 -0700
Subject: [PATCH] spacer: print all lemmas in json

---
 src/muz/spacer/spacer_json.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/muz/spacer/spacer_json.cpp b/src/muz/spacer/spacer_json.cpp
index cf36eb899..a99a8f298 100644
--- a/src/muz/spacer/spacer_json.cpp
+++ b/src/muz/spacer/spacer_json.cpp
@@ -119,9 +119,10 @@ void json_marshaller::marshal_lemmas_new(std::ostream &out) const {
     for (auto &pob_map:m_relations) {
         std::ostringstream pob_lemmas;
         pob *n = pob_map.first;
+        unsigned i = 0;
         for (auto *l : n->lemmas()) {
             pob_lemmas << ((unsigned)pob_lemmas.tellp() == 0 ? "" : ",")
-                       << "\"0\":";
+                       << "\"" << i++ << "\":";
             lemma_ref_vector lemmas_vec;
             lemmas_vec.push_back(l);
             json_marshal(pob_lemmas, lemmas_vec);