diff -r 959d78f3fe0e -r 2236d00ca778 lemon/bfs.h
--- a/lemon/bfs.h	Wed Oct 17 22:56:43 2018 +0200
+++ b/lemon/bfs.h	Thu Nov 01 19:49:51 2018 +0100
@@ -1376,7 +1376,7 @@
     template <class T>
     struct SetReachedMapTraits : public Traits {
       typedef T ReachedMap;
-      static ReachedMap *createReachedMap(const Digraph &digraph) {
+      static ReachedMap *createReachedMap(const Digraph &) {
         LEMON_ASSERT(false, "ReachedMap is not initialized");
         return 0; // ignore warnings
       }