pinned semantics

Z3Prover · Jun 28, 2022 · 820c782 · 820c782
1 parent 9836d5e
commit 820c782
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/dotnet/UserPropagator.cs b/src/api/dotnet/UserPropagator.cs
@@ -161,7 +161,7 @@ static void _decide(voidp ctx, Z3_solver_callback cb, ref Z3_ast a, ref uint idx
         /// </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);