X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fsokoban.c;h=4f3c8a105563034fb82bc19adf6ab19a3b184971;hb=03c6e2f515f6516448ec39aa40a439b9fc20c4c8;hp=465c6283978327ba97007b1a01d2481352c2ab20;hpb=59b2b66a7c7b6585ebd30e8c530b9f826bcc70e9;p=mc1516pa.git

diff --git a/modelchecker/sokoban.c b/modelchecker/sokoban.c
index 465c628..4f3c8a1 100644
--- 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)