From 6935561b41dc0a07ca818187fc16a0334711cf04 Mon Sep 17 00:00:00 2001
From: Dale Weiler <killfieldengine@gmail.com>
Date: Fri, 28 Dec 2012 12:33:10 +0000
Subject: [PATCH] Fix one warning

---
 exec.c    | 2 +-
 splint.sh | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/exec.c b/exec.c
index 7931486..2957d4c 100644
--- 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 fcce1b4..8408918 100755
--- 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     \
-- 
2.39.2