Automatic commit

[universe.git] / main.cc

diff --git a/main.cc b/main.cc
index cb94b7f..b677526 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -1,17 +1,6 @@
 
-////////////////////////////////////////////////////////////////////////////////
-// This program is free software; you can redistribute it and/or              //
-// modify it under the terms of the GNU General Public License                //
-// version 2 as published by the Free Software Foundation.                    //
-//                                                                            //
-// This program is distributed in the hope that it will be useful, but        //
-// WITHOUT ANY WARRANTY; without even the implied warranty of                 //
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU          //
-// General Public License for more details.                                   //
-//                                                                            //
-// Written and (C) by François Fleuret                                        //
-// Contact <francois.fleuret@epfl.ch> for comments & bug reports              //
-////////////////////////////////////////////////////////////////////////////////
+// Written and (C) by Francois Fleuret
+// Contact <francois.fleuret@idiap.ch> for comments & bug reports
 
 #include <iostream>
 #include <fstream>
@@ -40,7 +29,7 @@ using namespace std;
 
 //////////////////////////////////////////////////////////////////////
 
-void check_opt(int argc, char **argv, int n_opt, int n, char *help) {
+void check_opt(int argc, char **argv, int n_opt, int n, const char *help) {
   if(n_opt + n >= argc) {
     cerr << "Missing argument for " << argv[n_opt] << "." << endl;
     cerr << "Expecting " << help << "." << endl;
@@ -49,8 +38,6 @@ void check_opt(int argc, char **argv, int n_opt, int n, char *help) {
 }
 
 void print_help_and_exit(int e) {
-  cout << "$Id: main.cc,v 1.89 2007-06-16 13:51:53 fleuret Exp $" << endl;
-  cout << endl;
   cout << "Arguments:" << endl;
   cout << "  --no-window" << endl;
   cout << "  --nb-ticks=<int: number of ticks>" << endl;