From 8f90176883eb60d62f821cbbda6564b76fd73122 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 20 Oct 2018 13:54:55 -0700
Subject: [PATCH] fix symbol comparison

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/dotnet/Symbol.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/dotnet/Symbol.cs b/src/api/dotnet/Symbol.cs
index 7df0986fe..afefdf3df 100644
--- a/src/api/dotnet/Symbol.cs
+++ b/src/api/dotnet/Symbol.cs
@@ -83,7 +83,7 @@ namespace Microsoft.Z3
         /// </summary>
         public static bool operator !=(Symbol s1, Symbol s2)
         {
-            return !(s1.NativeObject == s2.NativeObject);
+            return !(s1 == s2);
         }
 
         /// <summary>