From 3df4d5a2a22c6cf2cdbc34ad2d79d9f4287f005f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Tue, 28 Mar 2017 17:13:15 +0200
Subject: [PATCH] Fixed incorrectly simplified rules with comparisons.

---
 CHANGELOG.md                  | 4 ++++
 src/anthem/Simplification.cpp | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b0f9f34..ca13d9b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,10 @@
 
 ## (unreleased)
 
+Bug Fixes:
+
+* fixes incorrectly simplified rules with comparisons
+
 ## 0.1.2 (2017-03-23)
 
 Features:
diff --git a/src/anthem/Simplification.cpp b/src/anthem/Simplification.cpp
index ae57a14..7e705f7 100644
--- a/src/anthem/Simplification.cpp
+++ b/src/anthem/Simplification.cpp
@@ -81,7 +81,7 @@ struct ReplaceVariableInFormulaVisitor : public ast::RecursiveFormulaVisitor<Rep
 	static void accept(ast::Comparison &comparison, ast::Formula &, const ast::Variable &variable, const ast::Term &term)
 	{
 		comparison.left.accept(ReplaceVariableInTermVisitor(), comparison.left, variable, term);
-		comparison.right.accept(ReplaceVariableInTermVisitor(), comparison.left, variable, term);
+		comparison.right.accept(ReplaceVariableInTermVisitor(), comparison.right, variable, term);
 	}
 
 	static void accept(ast::In &in, ast::Formula &, const ast::Variable &variable, const ast::Term &term)