changeset 1198 | 2236d00ca778 |
parent 1092 | dceba191c00d |
1.1 --- a/lemon/nagamochi_ibaraki.h Wed Oct 17 22:56:43 2018 +0200 1.2 +++ b/lemon/nagamochi_ibaraki.h Thu Nov 01 19:49:51 2018 +0100 1.3 @@ -174,7 +174,7 @@ 1.4 struct SetHeapTraits : public Traits { 1.5 typedef CR HeapCrossRef; 1.6 typedef H Heap; 1.7 - static HeapCrossRef *createHeapCrossRef(int num) { 1.8 + static HeapCrossRef *createHeapCrossRef(int) { 1.9 LEMON_ASSERT(false, "HeapCrossRef is not initialized"); 1.10 return 0; // ignore warnings 1.11 }