Merge branch 'master' of github.com:google/or-tools

2018-12-07 19:44:03 +01:00
parent c36ac046f7 9aed92069c
commit 2574ce8d3e
1 changed files with 0 additions and 1 deletions
--- a/examples/dotnet/ShiftSchedulingSat.cs
+++ b/examples/dotnet/ShiftSchedulingSat.cs
@@ -350,7 +350,6 @@ public class ShiftSchedulingSat
            Console.WriteLine($"  - conflicts       : {solver.NumConflicts()}");
            Console.WriteLine($"  - branches        : {solver.NumBranches()}");
            Console.WriteLine($"  - wall time       : {solver.WallTime()}");
-            Console.ReadKey();
        }
    }