changeset 1198 | 2236d00ca778 |
parent 1092 | dceba191c00d |
child 1199 | 15282595e6f4 |
1.1 --- a/lemon/dfs.h Wed Oct 17 22:56:43 2018 +0200 1.2 +++ b/lemon/dfs.h Thu Nov 01 19:49:51 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 }