fix bugs after using new library

2 files changed, 1 insertions, 2 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
-Subproject 27304354844c8baf8c14ef923e0ab65bc4df2dc
+Subproject b84b00cb9d17a51b2667716229dd3ecde756b70