- int memsize = DEFAULT_MEMSIZE, clocks = DEFAULT_CLOCKS;
- int opt, stat = 0;
- const char *version = PACKAGE_VERSION, *cmdversion = "comet2 of YACASL2 version %s\n";
+ int memsize = DEFAULT_MEMSIZE;
+ int clocks = DEFAULT_CLOCKS;
+ int opt = 0;
+ int stat = 0;
+ const char *version = PACKAGE_VERSION;
+ const char *cmdversion = "comet2 of YACASL2 version %s\n";