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 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'include')

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);
-- 
cgit v1.2.3-70-g09d2