diff -r 4b25e7003868 -r b4de9aed7709 demo/strongly_connected_orientation.cc
--- a/demo/strongly_connected_orientation.cc	Thu Aug 10 10:18:04 2006 +0000
+++ b/demo/strongly_connected_orientation.cc	Thu Aug 10 12:26:29 2006 +0000
@@ -73,7 +73,7 @@
 };
 
 
-int main(int argc, const char *argv[]) {
+int main() {
   cout << "Orientation of the strongly_connected_orientation.lgf "
        << "to be strongly connected" << endl;