--- TeXmacs-1.0.6-src/src/System/Classes/url.hpp.inline	2005-12-31 20:11:32.000000000 +0100
+++ TeXmacs-1.0.6-src/src/System/Classes/url.hpp	2005-12-31 20:11:54.000000000 +0100
@@ -38,10 +38,13 @@
   inline bool operator == (url u) { return rep->t == u->t; }
   inline bool operator != (url u) { return rep->t != u->t; }
   inline url  operator [] (int i) { return url (rep->t[i]); }
-  inline friend url as_url (tree t) { return url (t); }
+  friend url as_url (tree t);
 };
 CONCRETE_CODE(url);
 
+inline url as_url (tree t) { return url (t); }
+
+
 ostream& operator << (ostream& out, url u);
 string as_string (url u, int type= URL_SYSTEM);