--- utils/HtmlLinks.h~	2005-12-28 15:00:03.000000000 +0100
+++ utils/HtmlLinks.h	2005-12-28 15:17:37.000000000 +0100
@@ -19,7 +19,7 @@
   HtmlLink& operator=(const HtmlLink& x);
   HtmlLink(double xmin,double ymin,double xmax,double ymax,GooString *_dest);
   ~HtmlLink();
-  GBool HtmlLink::isEqualDest(const HtmlLink& x) const;
+  GBool isEqualDest(const HtmlLink& x) const;
   GooString *getDest(){return new GooString(dest);}
   double getX1() const {return Xmin;}
   double getX2() const {return Xmax;}