From 33789fad4cabf53b16449e60eda511d0d803bc3e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 17 Dec 2013 14:34:40 -0800 Subject: [PATCH] fix(kernel/builtin): make sure the if-then-else semantic attachment is not a simplifier Signed-off-by: Leonardo de Moura --- src/kernel/builtin.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/kernel/builtin.cpp b/src/kernel/builtin.cpp index 3a33ecbce3..e4bcc8ad85 100644 --- a/src/kernel/builtin.cpp +++ b/src/kernel/builtin.cpp @@ -142,8 +142,6 @@ public: return some_expr(args[3]); // if A true a b --> a else return some_expr(args[4]); // if A false a b --> b - } else if (num_args == 5 && args[3] == args[4]) { - return some_expr(args[3]); // if A c a a --> a } else { return none_expr(); }