From bae568e3f547047c3dca0afc73a4c26493e210c1 Mon Sep 17 00:00:00 2001 From: xdrm-brackets Date: Tue, 16 May 2017 10:50:01 +0200 Subject: [PATCH] minmod --- src/linter.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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++ ){