From 59bac78c30b88b4a4db75b906c20f2bfe35ded41 Mon Sep 17 00:00:00 2001
From: Determinant <ted.sybil@gmail.com>
Date: Wed, 21 Nov 2018 23:35:01 -0500
Subject: fix bugs after using new library

---
 include/hotstuff/task.h | 3 +--
 salticidae              | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/include/hotstuff/task.h b/include/hotstuff/task.h
index 2564e7d..bfb7f63 100644
--- a/include/hotstuff/task.h
+++ b/include/hotstuff/task.h
@@ -46,7 +46,6 @@ class VeriPool {
                 auto it = pms.find(task);
                 it->second.second.resolve(task->result);
                 pms.erase(it);
-                delete task;
                 if (!--cnt) return true;
             }
             return false;
@@ -60,7 +59,7 @@ class VeriPool {
                 VeriTask *task;
                 while (q.try_dequeue(task))
                 {
-                    HOTSTUFF_LOG_DEBUG("%lu working on %u",
+                    HOTSTUFF_LOG_DEBUG("%lx working on %u",
                                         std::this_thread::get_id(), (uintptr_t)task);
                     task->result = task->verify();
                     out_queue.enqueue(task);
diff --git a/salticidae b/salticidae
index 2730435..b84b00c 160000
--- a/salticidae
+++ b/salticidae
@@ -1 +1 @@
-Subproject commit 27304354844c8baf8c14ef923e0ab65bc4df2dc0
+Subproject commit b84b00cb9d17a51b2667716229dd3ecde756b709
-- 
cgit v1.2.3-70-g09d2