From 76f8916dca5bbb435f6f1c52e0c437d805ebe777 Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Thu, 9 Jan 2014 00:40:13 +0900
Subject: [PATCH] show debug print when a library is reopened

---
 src/lib.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/lib.c b/src/lib.c
index 54493011..6664ba62 100644
--- a/src/lib.c
+++ b/src/lib.c
@@ -11,6 +11,13 @@ pic_make_library(pic_state *pic, pic_value name)
   struct pic_senv *senv;
 
   if ((lib = pic_find_library(pic, name)) != NULL) {
+
+#if DEBUG
+    printf("* reopen library: ");
+    pic_debug(pic, name);
+    puts("");
+#endif
+
     return lib;
   }