1.1 --- a/src/hugo/path.h	Mon Sep 13 10:50:30 2004 +0000
     1.2 +++ b/src/hugo/path.h	Mon Sep 13 11:24:35 2004 +0000
     1.3 @@ -640,9 +640,6 @@
     1.4        ///Push a new edge to the back of the path.
     1.5        ///\sa setStartNode
     1.6        void pushBack(const GraphEdge& e) {
     1.7 -	if( !empty() && P.gr->tail(e)!=head() ) {
     1.8 -	  fault("UndirPath::Builder::pushBack: nonincident edge");
     1.9 -	}
    1.10  	back.push_back(e);
    1.11        }
    1.12