X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fsokoban.h;h=6b8823dd7cba10b304f678025af34aada1a16398;hb=b29982e8181d823142ce12b6d582181937fba7ad;hp=30466e37b437a93aeb81c678f3716b62b8436cdc;hpb=59b2b66a7c7b6585ebd30e8c530b9f826bcc70e9;p=mc1516pa.git

diff --git a/modelchecker/sokoban.h b/modelchecker/sokoban.h
index 30466e3..6b8823d 100644
--- 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;