/* Compile with: gcc -o 672789 `pkg-config --cflags --libs glib-2.0 gtk+-3.0` 672789.c */

#include <gtk/gtk.h>

int
main (int argc, char *argv[])
{
	GtkBuilder *builder;
	const gchar *object_names[] = {
		"other_window",
		"ui_manager", /* <--- remove this to trigger bug */
		NULL
	};

	gtk_init (&argc, &argv);

	builder = gtk_builder_new ();
	gtk_builder_add_objects_from_file (builder, "672789.ui", (gchar**) object_names, NULL);
	g_object_unref (builder);

	return 0;
}
