diff --git a/src/linter.c b/src/linter.c index 3ed67ea..08ff17d 100644 --- a/src/linter.c +++ b/src/linter.c @@ -110,9 +110,9 @@ int main(int argc, char* argv[]){ unsigned int browsed = 0; start = clock(); browsed = browse(&array, str, 0); stop = clock(); - printf("browse '%s' : %d/%d\n", str, browsed, (int) strlen(str)); + printf("browse '%s': %d/%d\n", str, browsed, (int) strlen(str)); printf(" (*) final_state: %d/%d\n", array.dCurrent, array.dFinal); - printf(" (*) in %d steps\n", array.steps); + printf(" (*) in %d steps\n", array.steps); printf(" (*) in %.3lf seconds\n\n", (double)(stop-start)/CLOCKS_PER_SEC); for( c = 0 ; c < array.n ; c++ ){