1.1 --- a/demo/strongly_connected_orientation.cc	Thu Aug 10 10:18:04 2006 +0000
     1.2 +++ b/demo/strongly_connected_orientation.cc	Thu Aug 10 12:26:29 2006 +0000
     1.3 @@ -73,7 +73,7 @@
     1.4  };
     1.5  
     1.6  
     1.7 -int main(int argc, const char *argv[]) {
     1.8 +int main() {
     1.9    cout << "Orientation of the strongly_connected_orientation.lgf "
    1.10         << "to be strongly connected" << endl;
    1.11