Change the name of a template parameter.
authoralpar
Tue, 14 Sep 2004 17:42:43 +0000
changeset 8534cb8f31c1ff8
parent 852 d50d89b86870
child 854 baf0b6e40211
Change the name of a template parameter.
src/hugo/minlengthpaths.h
     1.1 --- a/src/hugo/minlengthpaths.h	Tue Sep 14 17:41:40 2004 +0000
     1.2 +++ b/src/hugo/minlengthpaths.h	Tue Sep 14 17:42:43 2004 +0000
     1.3 @@ -161,7 +161,7 @@
     1.4        if (j>paths.size()-1){
     1.5  	return;
     1.6        }
     1.7 -      typename DirPath::Builder B(p);
     1.8 +      typename Path::Builder B(p);
     1.9        for(typename std::vector<Edge>::iterator i=paths[j].begin(); 
    1.10  	  i!=paths[j].end(); ++i ){
    1.11  	B.pushBack(*i);