mirror of
https://github.com/Z3Prover/z3
synced 2025-04-10 03:07:07 +00:00
pinned semantics
This commit is contained in:
parent
9836d5e6fc
commit
820c782b5e
|
@ -161,7 +161,7 @@ namespace Microsoft.Z3
|
|||
/// </summary>
|
||||
public UserPropagator(Solver s)
|
||||
{
|
||||
gch = GCHandle.Alloc(this);
|
||||
gch = GCHandle.Alloc(this, GCHandleType.Pinned);
|
||||
solver = s;
|
||||
ctx = solver.Context;
|
||||
var cb = GCHandle.ToIntPtr(gch);
|
||||
|
|
Loading…
Reference in a new issue