From 53087a8e048235047cddf8ac14c4ba8c16f981b4 Mon Sep 17 00:00:00 2001
From: Pluemicke Martin <pl@pcpl.ba-horb.de>
Date: Wed, 28 Feb 2018 17:11:50 +0100
Subject: [PATCH] result.add wieder aktiviert

---
 src/de/dhbwstuttgart/core/JavaTXCompiler.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/de/dhbwstuttgart/core/JavaTXCompiler.java b/src/de/dhbwstuttgart/core/JavaTXCompiler.java
index 8d381e37..9a66543a 100644
--- a/src/de/dhbwstuttgart/core/JavaTXCompiler.java
+++ b/src/de/dhbwstuttgart/core/JavaTXCompiler.java
@@ -103,7 +103,7 @@ public class JavaTXCompiler {
             System.out.println(xConsSet);
             Set<Set<UnifyPair>> result = unify.unify(xConsSet, finiteClosure);
             System.out.println("RESULT: " + result.size());
-            //results.addAll(result);
+            results.addAll(result);
         }
         return results.stream().map((unifyPairs ->
                 new ResultSet(UnifyTypeFactory.convert(unifyPairs, generateTPHMap(cons))))).collect(Collectors.toList());