remove unnecessary #includes

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;
 

diff --git a/schedule.cc b/schedule.cc
index c02ca62b12a16cd1c07d58ffd20f1ac383b57181..b9388287c05d6d6d6900aefa5c1eda61fcd22bab 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -1,5 +1,3 @@
-#include <stdlib.h>
-
 #include "libthreads.h"
 #include "schedule.h"
 #include "common.h"