[Mldonkey-commits] Changes to mldonkey/src/networks/donkey/donkeyGlobals.ml

[mldonkey-commits]

Index: mldonkey/src/networks/donkey/donkeyGlobals.ml
diff -u mldonkey/src/networks/donkey/donkeyGlobals.ml:1.41 
mldonkey/src/networks/donkey/donkeyGlobals.ml:1.42
--- mldonkey/src/networks/donkey/donkeyGlobals.ml:1.41  Sat May 28 11:19:42 2005
+++ mldonkey/src/networks/donkey/donkeyGlobals.ml       Tue Jul  5 12:28:57 2005
@@ -105,7 +105,6 @@
 let file_fd file = file.file_file.impl_file_fd
 let file_disk_name file = file_disk_name (as_file file)
 let file_best_name file = file_best_name (as_file file)
-let set_file_disk_name file = set_file_disk_name (as_file file)
   
 let client_num c = client_num (as_client c)  
 let file_num c = file_num (as_file c)