[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiArt.ml

[mldonkey-commits]

Index: mldonkey/src/gtk2/gui/guiArt.ml
diff -u mldonkey/src/gtk2/gui/guiArt.ml:1.3 mldonkey/src/gtk2/gui/guiArt.ml:1.4
--- mldonkey/src/gtk2/gui/guiArt.ml:1.3 Fri May 13 21:15:47 2005
+++ mldonkey/src/gtk2/gui/guiArt.ml     Mon Oct 10 16:22:25 2005
@@ -570,7 +570,7 @@
    pixbuf = GdkPixbuf.create ~width:1 ~height:1 ();
   }
 
-module H = Weak2.Make(struct
+module H = Weak.Make(struct
   type t = avail_bar
   let hash s = Hashtbl.hash s.finder