mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Managed API: Refactoring, Formatting.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
008fc648c1
commit
682a725e13
|
@ -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
|
||||
};
|
||||
}
|
||||
|
|
|
@ -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>
|
||||
|
|
Loading…
Reference in a new issue