bimap helper added

[mc1516pa.git] / modelchecker / sokoban.h

diff --git a/modelchecker/sokoban.h b/modelchecker/sokoban.h
index 30466e3..6b8823d 100644 (file)
--- a/modelchecker/sokoban.h
+++ b/modelchecker/sokoban.h
@@ -1,5 +1,7 @@
 #ifndef SOKOBAN_H
 #define SOKOBAN_H
+#include <stdio.h>
+
 #include "uthash.h"
 
 typedef enum {FREE, WALL, BOX, TARGET, AGENT, TARGAGENT, TARGBOX} sokoban_tile;