--- gimp-1.3-orig/app/gui/file-save-menu.c	2004-01-09 11:11:14.000000000 +0100
+++ gimp-1.3-mine/app/gui/file-save-menu.c	2004-01-10 20:24:49.000000000 +0100
@@ -131,6 +131,7 @@ void
 file_save_menu_update (GtkItemFactory *item_factory,
                        gpointer        data)
 {
+#if 0
   GimpDrawable    *drawable;
   PlugInImageType  plug_in_image_type = 0;
   GSList          *procs;
@@ -178,4 +179,5 @@ file_save_menu_update (GtkItemFactory *i
                                             plug_in_image_type));
         }
     }
+#endif
 }
