diff -r 3c00344f49c9 -r f179aa1045a4 lemon/nagamochi_ibaraki.h
--- a/lemon/nagamochi_ibaraki.h	Wed Oct 17 19:14:07 2018 +0200
+++ b/lemon/nagamochi_ibaraki.h	Thu Nov 01 11:27:05 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
       }