From d6125301a72af27e71bb4c2b19282d1731d48118 Mon Sep 17 00:00:00 2001
From: Alexander Fedotov <a.fedotov@student.ru.nl>
Date: Wed, 30 Mar 2016 10:13:39 +0200
Subject: [PATCH] tiny update

---
 modelchecker/main.c    | 1 -
 modelchecker/sokoban.c | 1 -
 2 files changed, 2 deletions(-)

diff --git a/modelchecker/main.c b/modelchecker/main.c
index d8d7e23..9d93ef2 100644
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -7,7 +7,6 @@
 
 #include "mc.h"
 #include "sokoban.h"
-#include "uthash.h"
 
 //Global variables
 bool DEBUG = false;
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)
-- 
2.20.1