From 682a725e1323d7ef4513a9a85ade0f4a44baea19 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Mon, 26 Nov 2012 13:47:26 +0000
Subject: [PATCH] Managed API: Refactoring, Formatting.

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/api/dotnet/BitVecSort.cs | 1 -
 src/api/dotnet/Context.cs    | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/api/dotnet/BitVecSort.cs b/src/api/dotnet/BitVecSort.cs
index 55ef4ae49..d865159f4 100644
--- a/src/api/dotnet/BitVecSort.cs
+++ b/src/api/dotnet/BitVecSort.cs
@@ -37,7 +37,6 @@ namespace Microsoft.Z3
 
         #region Internal
         internal BitVecSort(Context ctx, IntPtr obj) : base(ctx, obj) { Contract.Requires(ctx != null); }
-        internal BitVecSort(Context ctx, uint size) : base(ctx, Native.Z3_mk_bv_sort(ctx.nCtx, size)) { Contract.Requires(ctx != null); }
         #endregion
     };
 }
diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index 2aea1586c..30e5ece4f 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -193,7 +193,7 @@ namespace Microsoft.Z3
         {
             Contract.Ensures(Contract.Result<BitVecSort>() != null);
 
-            return new BitVecSort(this, size);
+            return new BitVecSort(this, Native.Z3_mk_bv_sort(nCtx, size));
         }
 
         /// <summary>