Fix for taskflow#133

corporateshark · corporateshark · commit 1cb9222c60dd · 2019-12-18T19:00:24.000+03:00
diff --git a/taskflow/core/executor.hpp b/taskflow/core/executor.hpp
@@ -861,13 +861,13 @@ std::future<void> Executor::run_until(Taskflow& f, P&& pred, C&& c) {
 
 // Procedure: _increment_topology
 inline void Executor::_increment_topology() {
-  std::scoped_lock lock(_topology_mutex);
+  std::scoped_lock<std::mutex> lock(_topology_mutex);
   ++_num_topologies;
 }
 
 // Procedure: _decrement_topology_and_notify
 inline void Executor::_decrement_topology_and_notify() {
-  std::scoped_lock lock(_topology_mutex);
+  std::scoped_lock<std::mutex> lock(_topology_mutex);
   if(--_num_topologies == 0) {
     _topology_cv.notify_all();
   }

Original file line number	Diff line number	Diff line change
`@@ -861,13 +861,13 @@ std::future<void> Executor::run_until(Taskflow& f, P&& pred, C&& c) {`
`861`	`861`
`862`	`862`	`// Procedure: _increment_topology`
`863`	`863`	`inline void Executor::_increment_topology() {`
`864`		`- std::scoped_lock lock(_topology_mutex);`
	`864`	`+ std::scoped_lock<std::mutex> lock(_topology_mutex);`
`865`	`865`	`++_num_topologies;`
`866`	`866`	`}`
`867`	`867`
`868`	`868`	`// Procedure: _decrement_topology_and_notify`
`869`	`869`	`inline void Executor::_decrement_topology_and_notify() {`
`870`		`- std::scoped_lock lock(_topology_mutex);`
	`870`	`+ std::scoped_lock<std::mutex> lock(_topology_mutex);`
`871`	`871`	`if(--_num_topologies == 0) {`
`872`	`872`	`_topology_cv.notify_all();`
`873`	`873`	`}`