From eccd727b932659153d1ebf24668b5d9838ea24f6 Mon Sep 17 00:00:00 2001
From: AFellner <fellner.a@gmail.com>
Date: Tue, 6 Aug 2013 15:15:05 +0200
Subject: [PATCH] Fix bug in BottomUpSubsumption

relates to Issue #77
---
 .../at/logic/skeptik/algorithm/compressor/Subsumption.scala   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/scala/at/logic/skeptik/algorithm/compressor/Subsumption.scala b/src/main/scala/at/logic/skeptik/algorithm/compressor/Subsumption.scala
index ae4a23ae..1d3e7603 100644
--- a/src/main/scala/at/logic/skeptik/algorithm/compressor/Subsumption.scala
+++ b/src/main/scala/at/logic/skeptik/algorithm/compressor/Subsumption.scala
@@ -63,8 +63,8 @@ abstract class BottomUpSubsumption extends AbstractSubsumption {
     val subsMap = subsumed.map(a => a._2)
     subsMap.foreach(u => {
       replaceNodes.get(u) match {
-        case Some(v) => if (v.conclusion.size > node.conclusion.size) replaceNodes(u) = node
-        case None => replaceNodes += (u -> node)
+        case Some(v) => if (v.conclusion.size > node.conclusion.size) replaceNodes(node) = u
+        case None => replaceNodes += (node -> u)
       }})
   
     node match {