From da9ed82889795e55b046670c3d2403951f179a00 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 8 May 2022 15:31:05 -0700
Subject: [PATCH] add decide callback

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/dotnet/UserPropagator.cs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/api/dotnet/UserPropagator.cs b/src/api/dotnet/UserPropagator.cs
index 4f604b4cb..d0f46c189 100644
--- a/src/api/dotnet/UserPropagator.cs
+++ b/src/api/dotnet/UserPropagator.cs
@@ -15,7 +15,6 @@ Author:
     
 Notes:
 
-// Todo: decide, 
 
 --*/