From 80aed24fd7298b8e51a7a8f4ffbf3c02d62ee134 Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Mon, 9 Dec 2013 15:36:41 +0900
Subject: [PATCH] add yet another debug print

---
 tools/main.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/main.c b/tools/main.c
index 056186f6..103a3a82 100644
--- a/tools/main.c
+++ b/tools/main.c
@@ -50,6 +50,10 @@ repl(pic_state *pic)
   while (1) {
     prompt = code[0] == '\0' ? "> " : "* ";
 
+#if DEBUG
+    printf("[current ai = %d]\n", ai);
+#endif
+
 #if PIC_ENABLE_READLINE
     read_line = readline(prompt);
     if (read_line == NULL) {