helper maps

[mc1516pa.git] / modelchecker / sokoban.c

diff --git a/modelchecker/sokoban.c b/modelchecker/sokoban.c
index 465c628..4f3c8a1 100644 (file)
--- a/modelchecker/sokoban.c
+++ b/modelchecker/sokoban.c
@@ -1,6 +1,5 @@
 #include <stdio.h>
 #include <stdlib.h>
-#include "uthash.h"
 #include "sokoban.h"
 
 sokoban_screen *add_coord(int x, int y, sokoban_tile tile, sokoban_screen *screen)