From 2b030cd2f4702ef4ab89e6a82c0fcd4c228faa64 Mon Sep 17 00:00:00 2001
From: Mizux Seiha <mizux.dev@gmail.com>
Date: Tue, 12 Oct 2021 18:26:15 +0200
Subject: [PATCH] sat: polish sample

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

diff --git a/ortools/sat/samples/SearchForAllSolutionsSampleSat.cs b/ortools/sat/samples/SearchForAllSolutionsSampleSat.cs
index 068f3dde59..a65054e6b6 100644
--- a/ortools/sat/samples/SearchForAllSolutionsSampleSat.cs
+++ b/ortools/sat/samples/SearchForAllSolutionsSampleSat.cs
@@ -78,7 +78,7 @@ public class SearchForAllSolutionsSampleSat
         solver.Solve(model, cb);
         // [END solve]
 
-        Console.WriteLine(String.Format("Number of solutions found: {0}", cb.SolutionCount()));
+        Console.WriteLine($"Number of solutions found: {cb.SolutionCount()}");
     }
 }
 // [END program]