From 9681301ab4a187ee92c9882b9a58ad538e48453f Mon Sep 17 00:00:00 2001
From: OGINO Masanori <masanori.ogino@gmail.com>
Date: Wed, 18 Dec 2013 15:43:13 +0900
Subject: [PATCH] Fix warnings when !PIC_ENABLE_READLINE.

Signed-off-by: OGINO Masanori <masanori.ogino@gmail.com>
---
 tools/main.c | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/tools/main.c b/tools/main.c
index 103a3a82..21abd8ad 100644
--- a/tools/main.c
+++ b/tools/main.c
@@ -35,12 +35,14 @@ void
 repl(pic_state *pic)
 {
   char code[CODE_MAX_LENGTH] = "", line[LINE_MAX_LENGTH];
-  char *read_line, *prompt;
+  char *prompt;
   pic_value v, vs;
   struct pic_proc *proc;
   int ai, n, i;
 
-#if ! PIC_ENABLE_READLINE
+#if PIC_ENABLE_READLINE
+  char *read_line;
+#else
   char last_char;
   int char_index;
 #endif
@@ -65,7 +67,7 @@ repl(pic_state *pic)
       free(read_line);
     }
 #else
-    printf(prompt);
+    printf("%s", prompt);
 
     char_index = 0;
     while ((last_char = getchar()) != '\n') {