common.h: move common code (non-user) to header

[model-checker.git] / schedule.c

diff --git a/schedule.c b/schedule.c
index a4613c597f95d3362888df1ba6051fbbb1d75a58..10e7fdc181499c2ef2142ad609b3902e00075edd 100644 (file)
--- a/schedule.c
+++ b/schedule.c
@@ -1,4 +1,5 @@
 #include "schedule.h"
+#include "common.h"
 
 struct thread_list_node {
        struct thread *this;