lemon/nagamochi_ibaraki.h
branch1.3
changeset 1422 332eab7995fe
parent 1270 dceba191c00d
     1.1 --- a/lemon/nagamochi_ibaraki.h	Wed Oct 17 19:18:04 2018 +0200
     1.2 +++ b/lemon/nagamochi_ibaraki.h	Thu Nov 01 19:49:08 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        }