mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
.NET API context refcounting; changed int to long to be on the safe side on 64-bit platforms.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
5a45711f22
commit
0cf1f9c210
|
@ -3646,7 +3646,7 @@ namespace Microsoft.Z3
|
|||
internal Fixedpoint.DecRefQueue Fixedpoint_DRQ { get { Contract.Ensures(Contract.Result<Fixedpoint.DecRefQueue>() != null); return m_Fixedpoint_DRQ; } }
|
||||
|
||||
|
||||
internal int refCount = 0;
|
||||
internal long refCount = 0;
|
||||
|
||||
/// <summary>
|
||||
/// Finalizer.
|
||||
|
|
Loading…
Reference in a new issue