# HG changeset patch
# User alpar
# Date 1095074675 0
# Node ID eb9587f09b424e82924a0f636f9e49c9cfd60731
# Parent  1dd3167db0449dda487bf2f58a1a1ad730f8914e
Remove one remaining range checking.

diff -r 1dd3167db044 -r eb9587f09b42 src/hugo/path.h
--- a/src/hugo/path.h	Mon Sep 13 10:50:30 2004 +0000
+++ b/src/hugo/path.h	Mon Sep 13 11:24:35 2004 +0000
@@ -640,9 +640,6 @@
       ///Push a new edge to the back of the path.
       ///\sa setStartNode
       void pushBack(const GraphEdge& e) {
-	if( !empty() && P.gr->tail(e)!=head() ) {
-	  fault("UndirPath::Builder::pushBack: nonincident edge");
-	}
 	back.push_back(e);
       }