1.1 --- a/src/routing/global-routing/wscript Wed Jul 02 13:23:23 2008 -0700 1.2 +++ b/src/routing/global-routing/wscript Wed Jul 02 13:23:44 2008 -0700 1.3 @@ -13,6 +13,5 @@ 1.4 headers.source = [ 1.5 'global-router-interface.h', 1.6 'global-route-manager.h', 1.7 - 'candidate-queue.h', 1.8 ] 1.9