# HG changeset patch
# User pontscho
# Date 999107140 0
# Node ID ce3123d613803a4c3daff0331de6d96e811e0538
# Parent  3e2a7150cf11408a15ae8697b711d8a4e19c3a9f
ws.h/app.h

diff -r 3e2a7150cf11 -r ce3123d61380 Gui/mplayer/play.h
--- a/Gui/mplayer/play.h	Wed Aug 29 17:39:10 2001 +0000
+++ b/Gui/mplayer/play.h	Wed Aug 29 17:45:40 2001 +0000
@@ -3,6 +3,8 @@
 #define __GUI_PLAY_H
 
 #include "./psignal.h"
+#include "../wm/ws.h"
+#include "../app.h"
 
 typedef struct
 {