tools/lgf-gen.cc
changeset 2417 113d381c9160
parent 2402 da8eb8f4ea41
child 2446 dd20d76eed13
equal deleted inserted replaced
2:426c26db9cee 3:f93af1984178
   277   std::cout << T.realTime() << "s: Done\n";
   277   std::cout << T.realTime() << "s: Done\n";
   278 }
   278 }
   279 
   279 
   280 
   280 
   281 
   281 
   282 int main(int argc,char **argv) 
   282 int main(int argc,const char **argv) 
   283 {
   283 {
   284   ArgParser ap(argc,argv);
   284   ArgParser ap(argc,argv);
   285 
   285 
   286 //   bool eps;
   286 //   bool eps;
   287   bool disc_d, square_d, gauss_d;
   287   bool disc_d, square_d, gauss_d;