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);