--- output-swf.c.old	2006-04-01 21:50:06.000000000 -0500
+++ output-swf.c	2006-04-01 21:50:28.000000000 -0500
@@ -24,7 +24,6 @@
 #include "spline.h"
 #include "color.h"
 #include "output-swf.h"
-#include <ming.h>
 
 #define FPS 24.0
 #define IMGID 1

--- output-swf.h.old	2006-04-01 21:50:12.000000000 -0500
+++ output-swf.h	2006-04-01 21:50:59.000000000 -0500
@@ -23,6 +23,7 @@
 #define OUTPUTSWF_H 
 
 #include "output.h"
+#include <ming.h>
 
 int output_swf_writer(FILE* file, at_string name,
 		      int llx, int lly, int urx, int ury, 
@@ -31,4 +32,6 @@
 		      at_msg_func msg_func, 
 		      at_address msg_data);
 
+void fileOutputMethod(byte b, void *data);
+
 #endif /* Not def: OUTPUTSWF_H */