# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1451036843 -32400
# Node ID cef74c1054c1e4bfce9eecbd7171b8b1db919cec
# Parent  a15437a1e94c3e396e89a3a48c782129c39176e2
Remove warnings in tableau3

diff -r a15437a1e94c -r cef74c1054c1 ltl.cbc
--- a/ltl.cbc	Fri Dec 25 18:41:52 2015 +0900
+++ b/ltl.cbc	Fri Dec 25 18:47:23 2015 +0900
@@ -1,4 +1,5 @@
 #include <stdio.h>
+#include "ltl.h"
 #include "queue.h"
 #include "dpp_common.h"
 
diff -r a15437a1e94c -r cef74c1054c1 ltl.h
--- a/ltl.h	Fri Dec 25 18:41:52 2015 +0900
+++ b/ltl.h	Fri Dec 25 18:47:23 2015 +0900
@@ -1,6 +1,8 @@
 #ifndef _LTL_H_
 #define _LTL_H_
 
+#include "tableau.h"
+
 extern __code
 check(int *always_flag, struct phils *phils, struct task *list);
 
diff -r a15437a1e94c -r cef74c1054c1 tableau.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tableau.h	Fri Dec 25 18:47:23 2015 +0900
@@ -0,0 +1,7 @@
+#ifndef _TABLEAU_H_
+#define _TABLEAU_H_
+
+#include "dpp_common.h"
+extern __code tableau(TaskPtr list);
+
+#endif