--- a/dpp2.h	Fri Dec 25 17:15:49 2015 +0900
+++ b/dpp2.h	Fri Dec 25 18:19:55 2015 +0900
@@ -3,27 +3,6 @@
 
 #include "dpp_common.h"
 
-struct task;
-typedef struct phils {
-    int id;
-    struct fork *right_fork;
-    struct fork *left_fork;
-    struct phils *right;
-    struct phils *left;
-    __code (*next)(struct phils *, struct task *);
-} Phils, *PhilsPtr;
-
-typedef struct fork {
-    int id;
-    struct phils *owner;
-} Fork, *ForkPtr;
-
-typedef struct task {
-    struct task *next;
-    struct phils *phils;
-} Task, *TaskPtr;
-
-
 extern __code putdown_lfork(PhilsPtr self, TaskPtr current_task);
 extern __code putdown_rfork(PhilsPtr self, TaskPtr current_task);
 extern __code eating(PhilsPtr self, TaskPtr current_task);