# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1458010666 -32400
# Node ID 870453d5b096eeee4f937765eef1af7ac492cf75
# Parent  12d8e3c8976dcb7e033a8b2feaa251ab6d52e973
Reduce warnings

diff -r 12d8e3c8976d -r 870453d5b096 src/llrb/verifier/llrbContextWithVerifier.c
--- a/src/llrb/verifier/llrbContextWithVerifier.c	Tue Mar 15 11:43:58 2016 +0900
+++ b/src/llrb/verifier/llrbContextWithVerifier.c	Tue Mar 15 11:57:46 2016 +0900
@@ -1,3 +1,4 @@
+#include <stdio.h>
 #include "llrbContextWithVerifier.h"
 
 unsigned int min_height(struct Node* node, unsigned int height) {