minor fix

This commit is contained in:
Laurent Perron
2024-08-13 06:56:10 -07:00
parent c539b42de7
commit 1b9e132782

View File

@@ -756,7 +756,7 @@ public class SatSolverTest
[Fact]
public void TestHint()
{
output_.WriteLine("TestInterval test");
output_.WriteLine("TestHint test");
CpModel model = new CpModel();
IntVar v = model.NewIntVar(-10, 10, "v");
BoolVar b = model.NewBoolVar("b");