Fix one warning

diff --git a/exec.c b/exec.c
index 7931486e411ab65b382755020c70a0e88eff1f3a..2957d4c5bf315431353a5d6d7d9c8aaa7528adbc 100644 (file)
--- a/exec.c
+++ b/exec.c
@@ -359,7 +359,7 @@ static void trace_print_global(qc_program *prog, unsigned int glob, int vtype)
 done:
     if (len < (int)sizeof(spaces)-1) {
         spaces[sizeof(spaces)-1-len] = 0;
-        printf(spaces);
+        file_puts(stdout, spaces);
         spaces[sizeof(spaces)-1-len] = ' ';
     }
 }

diff --git a/splint.sh b/splint.sh
index fcce1b4759459789730bec69aacd8f29e1dcf23a..8408918940269b66ab0e4245bcaa4a7c7ee6a092 100755 (executable)
--- a/splint.sh
+++ b/splint.sh
@@ -64,7 +64,6 @@ FLAGS_MAYBE="\
 # remove one flag from here at a time while fixing the code so that
 FLAGS_TOFIX="\
     -boolcompare         \
-    -formatconst         \
     -unreachable         \
     -incondefs           \
     -initallelements     \