diff -r 959d78f3fe0e -r 2236d00ca778 lemon/nagamochi_ibaraki.h
--- a/lemon/nagamochi_ibaraki.h	Wed Oct 17 22:56:43 2018 +0200
+++ b/lemon/nagamochi_ibaraki.h	Thu Nov 01 19:49:51 2018 +0100
@@ -174,7 +174,7 @@
     struct SetHeapTraits : public Traits {
       typedef CR HeapCrossRef;
       typedef H Heap;
-      static HeapCrossRef *createHeapCrossRef(int num) {
+      static HeapCrossRef *createHeapCrossRef(int) {
         LEMON_ASSERT(false, "HeapCrossRef is not initialized");
         return 0; // ignore warnings
       }