From 820c782b5e180bb0e4f731d7f50a690d8307f992 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 28 Jun 2022 13:03:52 -0700
Subject: [PATCH] pinned semantics

---
 src/api/dotnet/UserPropagator.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/dotnet/UserPropagator.cs b/src/api/dotnet/UserPropagator.cs
index adabe3ff5..0e0ad818a 100644
--- a/src/api/dotnet/UserPropagator.cs
+++ b/src/api/dotnet/UserPropagator.cs
@@ -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);