From cc5705fc23e063a746e87d8b4b56645b0116d35a Mon Sep 17 00:00:00 2001
From: Dominic <git@msrd0.de>
Date: Fri, 6 Dec 2019 17:20:40 +0100
Subject: [PATCH] fix issue, thanks for pointing it out in your homework!

---
 tut6/src/BoolTreeNode.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tut6/src/BoolTreeNode.java b/tut6/src/BoolTreeNode.java
index c5ba654..0cf7902 100644
--- a/tut6/src/BoolTreeNode.java
+++ b/tut6/src/BoolTreeNode.java
@@ -126,7 +126,7 @@ public class BoolTreeNode
 		
 		// negationsknoten
 		if (!child1.isNegation())
-			return false;
+			return child1.removeDoubleNegations();
 		BoolTreeNode grandchild = child1.child1;
 		variable = grandchild.variable;
 		child1 = grandchild.child1;