Skip to content
Snippets Groups Projects
Commit a913ad5b authored by Petr Rockai's avatar Petr Rockai
Browse files

MC: Fix the task_queue< ... >::extend template alias.

parent 086c4497
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
divine/mc/weaver.hpp
+ 1
− 1
View file @ a913ad5b
...@@ -43,7 +43,7 @@ namespace divine::mc ...@@ -43,7 +43,7 @@ namespace divine::mc
std::deque< task > _queue; std::deque< task > _queue;
template< typename... ex > template< typename... ex >
using extend = task_queue< ex..., tasks... >; using extend = task_queue< ex..., task, tasks... >;
template< typename T, typename... Args > template< typename T, typename... Args >
void add( Args... args ) void add( Args... args )
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment