--- guile-gtk.h.~1.25.~	2003-06-15 09:08:11.000000000 +1000
+++ guile-gtk.h	2003-06-15 16:11:10.000000000 +1000
@@ -322,6 +322,7 @@
 typedef int GtkWidgetFlags;
 #endif
 
+SCM gtk_container_children_interp (GtkContainer *container);
 gchar *gtk_label_get_interp (GtkLabel *label);
 void gtk_menu_popup_interp (GtkMenu *menu,
 			    GtkWidget *parent_menu_shell,