--- swftools-0.7.0-orig/pdf2swf/SWFOutputDev.cc	2005-08-06 11:11:42.000000000 +0200
+++ swftools-0.7.0/pdf2swf/SWFOutputDev.cc	2006-06-03 16:31:13.000000000 +0200
@@ -245,7 +245,7 @@
   void drawGeneralImage(GfxState *state, Object *ref, Stream *str,
 				   int width, int height, GfxImageColorMap*colorMap, GBool invert,
 				   GBool inlineImg, int mask, int *maskColors);
-  int SWFOutputDev::setGfxFont(char*id, char*filename, double quality);
+  int setGfxFont(char*id, char*filename, double quality);
   void strokeGfxline(GfxState *state, gfxline_t*line);
   void clipToGfxLine(GfxState *state, gfxline_t*line);
   void fillGfxLine(GfxState *state, gfxline_t*line);