From a913ad5b29aca1eaf2b75c7774c4a45534d3ff00 Mon Sep 17 00:00:00 2001
From: Petr Rockai <me@mornfall.net>
Date: Tue, 25 Jun 2019 11:19:00 +0000
Subject: [PATCH] MC: Fix the task_queue< ... >::extend template alias.
---
divine/mc/weaver.hpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/divine/mc/weaver.hpp b/divine/mc/weaver.hpp
index bfb3f136c..f767f8757 100644
--- a/divine/mc/weaver.hpp
+++ b/divine/mc/weaver.hpp
@@ -43,7 +43,7 @@ namespace divine::mc
std::deque< task > _queue;
template< typename... ex >
- using extend = task_queue< ex..., tasks... >;
+ using extend = task_queue< ex..., task, tasks... >;
template< typename T, typename... Args >
void add( Args... args )
--
GitLab