remove unnecessary #includes

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index fb801ce284cadc3f1fb8b1aa1d874ce206dd04ef..b97352a97f15baebbf2c0ff578bab195a444928c 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1,7 +1,5 @@
 #include "model.h"
 #include "schedule.h"
-#include <stdlib.h>
-#include <string.h>
 
 ModelChecker *model;