From 8234eeae40ff5f14ce3c2816e8b3a35d6fadd27d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 22 Jun 2022 09:03:24 -0700
Subject: [PATCH] unbreak

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 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 0b0e5a57f..273bd4da9 100644
--- a/src/api/dotnet/UserPropagator.cs
+++ b/src/api/dotnet/UserPropagator.cs
@@ -302,7 +302,7 @@ namespace Microsoft.Z3
         /// <summary>
         /// Set the next decision
 	/// </summary>
-	public void NextSplit(Expr e, uint idx, Z3_lbool phase)
+	public void NextSplit(Expr e, uint idx, int phase)
 	{
            Native.Z3_solver_next_split(ctx.nCtx, this.callback, e.NativeObject, idx, phase);
 	}