diff -r 37b5c870a953 -r d3425607d41a demo/maps_summary.cc
--- a/demo/maps_summary.cc	Thu Sep 07 13:34:14 2006 +0000
+++ b/demo/maps_summary.cc	Thu Sep 07 13:35:48 2006 +0000
@@ -40,7 +40,7 @@
 }
 
 
-int  main( int argc, char *argv[] )
+int  main()
 {
   ListGraph  gr;
   ListGraph::NodeMap<double>  value(gr, 0.0);