From ba31fa996b747399b223ad78df8754917b65738b Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@corp.google.com>
Date: Tue, 9 Oct 2018 16:07:08 +0200
Subject: [PATCH] fix sat C#

---
 ortools/sat/csharp/CpSolver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ortools/sat/csharp/CpSolver.cs b/ortools/sat/csharp/CpSolver.cs
index 7b3fc16b2d..48720b1a49 100644
--- a/ortools/sat/csharp/CpSolver.cs
+++ b/ortools/sat/csharp/CpSolver.cs
@@ -116,7 +116,7 @@ namespace Google.OrTools.Sat
       }
       else
       {
-        response_ = SatHelper.Solve(model.Model);
+        response_ = SatHelper.SolveWithStringParametersAndSolutionCallback(model.Model, "", cb);
       }
       return response_.Status;
     }