fix

2019-11-22 17:46:22 +01:00
parent 6099148eca
commit ce116160aa
2 changed files with 3 additions and 3 deletions
--- a/examples/cpp/network_routing_sat.cc
+++ b/examples/cpp/network_routing_sat.cc
@@ -322,7 +322,7 @@ class NetworkRoutingDataBuilder {

  std::vector<std::vector<bool>> network_;
  std::vector<int> degrees_;
-  ACMRandom random_;
+  MTRandom random_;
 };

 // ---------- Solving the Problem ----------