|
@@ -167,7 +167,7 @@ int main(int argc, char **argv)
|
|
fprintf(stderr, "Warning: decoded and checked %d"
|
|
fprintf(stderr, "Warning: decoded and checked %d"
|
|
" instructions with %d warnings\n", insns, warnings);
|
|
" instructions with %d warnings\n", insns, warnings);
|
|
else
|
|
else
|
|
- fprintf(stderr, "Succeed: decoded and checked %d"
|
|
|
|
|
|
+ fprintf(stdout, "Success: decoded and checked %d"
|
|
" instructions\n", insns);
|
|
" instructions\n", insns);
|
|
return 0;
|
|
return 0;
|
|
}
|
|
}
|