From 27fd879b8ceb5aee860ae1c7ffa3e1afe2727159 Mon Sep 17 00:00:00 2001
From: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
Date: Tue, 22 Aug 2017 18:44:34 +0000
Subject: [PATCH] injectivity: Fixup rewriter

---
 src/tactic/core/injectivity_tactic.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/tactic/core/injectivity_tactic.cpp b/src/tactic/core/injectivity_tactic.cpp
index 4dc3fe5d5..95e380982 100644
--- a/src/tactic/core/injectivity_tactic.cpp
+++ b/src/tactic/core/injectivity_tactic.cpp
@@ -284,7 +284,8 @@ public:
 			(*m_eq)(curr, rw, pr);
 			g->update(i, rw, pr, g->dep(i));
 		}
-    }
+		result.push_back(g.get());
+	}
     
     virtual void cleanup() {
 		InjHelper * m = alloc(InjHelper, m_manager);