lemon/nagamochi_ibaraki.h
changeset 1416 f179aa1045a4
parent 1270 dceba191c00d
     1.1 --- a/lemon/nagamochi_ibaraki.h	Wed Oct 17 19:14:07 2018 +0200
     1.2 +++ b/lemon/nagamochi_ibaraki.h	Thu Nov 01 11:27:05 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        }