From b512212d4129c0c0a6dfcba37275ec73f6c45f9a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 Apr 2016 17:31:36 -0700
Subject: [PATCH] update func_interp code

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/model/func_interp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/model/func_interp.cpp b/src/model/func_interp.cpp
index 4dd9d599f..01e160eb0 100644
--- a/src/model/func_interp.cpp
+++ b/src/model/func_interp.cpp
@@ -113,7 +113,7 @@ bool func_interp::is_fi_entry_expr(expr * e, ptr_vector<expr> & args) {
     }
 
     if ((m_arity == 0) ||
-        (m_arity == 1 && !m().is_eq(c, a1, a2)) ||
+        (m_arity == 1 && !m().is_eq(c, a0, a1)) ||
         (m_arity > 1 && (!m().is_and(c) || to_app(c)->get_num_args() != m_arity)))
         return false;