From 8b4522517bc854458ad92bc150dbdddcf916ffd5 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Wed, 12 Jan 2022 23:58:40 +0900 Subject: v0.6.1 --- src/inpla.y | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'src') diff --git a/src/inpla.y b/src/inpla.y index d7bb8ab..728e19d 100644 --- a/src/inpla.y +++ b/src/inpla.y @@ -6568,7 +6568,7 @@ int main(int argc, char *argv[]) puts("Options:"); printf(" -f Set input file name (Defalut: STDIN)\n"); - printf(" -x Set the unit size of the EQ stack (Default: %8u)\n", + printf(" -e Set the unit size of the EQ stack (Default: %8u)\n", max_EQStack); @@ -6578,7 +6578,7 @@ int main(int argc, char *argv[]) MaxThreadsNum); #else - printf(" -w Enable Weak Reduction strategy (Default: false)\n" + printf(" -w Enable Weak Reduction strategy (Default: false)\n" ); @@ -6647,23 +6647,23 @@ int main(int argc, char *argv[]) fname = argv[i]; retrieve_flag = 0; } else { - printf("ERROR: The option switch '-f' needs a string that specifies an input file name."); + printf("ERROR: The option switch '-f' needs a string of an input file name."); exit(-1); } break; - case 'x': + case 'e': i++; if (i < argc) { param = atoi(argv[i]); if (param == 0) { - printf("ERROR: '%s' is illegal parameter for -x\n", argv[i]); + printf("ERROR: '%s' is illegal parameter for -e\n", argv[i]); exit(-1); } } else { - printf("ERROR: The option switch '-x' needs a number as an argument."); + printf("ERROR: The option switch '-e' needs a natural number."); exit(-1); } max_EQStack=param; @@ -6680,7 +6680,7 @@ int main(int argc, char *argv[]) exit(-1); } } else { - printf("ERROR: The option switch '-t' needs a number as an argument."); + printf("ERROR: The option switch '-t' needs a number of threads."); exit(-1); } -- cgit v1.2.3