From 9836d5e6fc8c0ca2b11d06a66a658d324885e3bb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 28 Jun 2022 12:46:29 -0700
Subject: [PATCH] missing public

---
 src/api/dotnet/UserPropagator.cs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/api/dotnet/UserPropagator.cs b/src/api/dotnet/UserPropagator.cs
index 273bd4da9..adabe3ff5 100644
--- a/src/api/dotnet/UserPropagator.cs
+++ b/src/api/dotnet/UserPropagator.cs
@@ -207,16 +207,16 @@ namespace Microsoft.Z3
         /// <summary>
         /// Declare combination of assigned expressions a conflict
 	/// </summary>
-	void Conflict(params Expr[] terms) {
-	     Propagate(terms, ctx.MkFalse());
+        public void Conflict(params Expr[] terms) {
+             Propagate(terms, ctx.MkFalse());
         }
 
         /// <summary>
         /// Propagate consequence
 	/// </summary>
-        void Propagate(Expr[] terms, Expr conseq) {
-	     var nTerms = Z3Object.ArrayToNative(terms);
-	     Native.Z3_solver_propagate_consequence(ctx.nCtx, this.callback, (uint)nTerms.Length, nTerms, 0u, null, null, conseq.NativeObject);
+        public void Propagate(Expr[] terms, Expr conseq) {
+            var nTerms = Z3Object.ArrayToNative(terms);
+            Native.Z3_solver_propagate_consequence(ctx.nCtx, this.callback, (uint)nTerms.Length, nTerms, 0u, null, null, conseq.NativeObject);
         }