From d0de8fff6213ba40ae2069d61f508005f27c73d7 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Tue, 8 Mar 2016 16:53:09 +0000
Subject: [PATCH] ensure ast_manager::are_equal returns true if expr ptrs are
 equal found by Nikolaj

---
 src/ast/ast.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
index 6d139a5bd..21a06a71b 100644
--- a/src/ast/ast.cpp
+++ b/src/ast/ast.cpp
@@ -1560,6 +1560,9 @@ bool ast_manager::is_unique_value(expr* e) const {
 }
 
 bool ast_manager::are_equal(expr * a, expr * b) const {
+    if (a == b) {
+        return true;
+    }
     if (is_app(a) && is_app(b)) {
         app* ap = to_app(a), *bp = to_app(b);
         decl_plugin const * p = get_plugin(ap->get_family_id());