From c9b7ea35b62c1cd1013da62e3d87287a8ce5b741 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 16 Jan 2013 08:39:24 -0800
Subject: [PATCH] Fix typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/api/api_rcf.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_rcf.cpp b/src/api/api_rcf.cpp
index c52a35f5f..b325c4397 100644
--- a/src/api/api_rcf.cpp
+++ b/src/api/api_rcf.cpp
@@ -264,7 +264,7 @@ extern "C" {
         LOG_Z3_rcf_neq(c, a, b);
         RESET_ERROR_CODE();
         reset_rcf_cancel(c);
-        return rcfm(c).eq(to_rcnumeral(a), to_rcnumeral(b));
+        return rcfm(c).neq(to_rcnumeral(a), to_rcnumeral(b));
         Z3_CATCH_RETURN(Z3_FALSE);
     }