1.1 --- a/lemon/dfs.h	Wed Oct 17 19:14:07 2018 +0200
     1.2 +++ b/lemon/dfs.h	Thu Nov 01 11:27:05 2018 +0100
     1.3 @@ -1318,7 +1318,7 @@
     1.4      template <class T>
     1.5      struct SetReachedMapTraits : public Traits {
     1.6        typedef T ReachedMap;
     1.7 -      static ReachedMap *createReachedMap(const Digraph &digraph) {
     1.8 +      static ReachedMap *createReachedMap(const Digraph &) {
     1.9          LEMON_ASSERT(false, "ReachedMap is not initialized");
    1.10          return 0; // ignore warnings
    1.11        }