aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--filter/filter-arg.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/filter/filter-arg.h b/filter/filter-arg.h
index 5409940e22..8193de14c1 100644
--- a/filter/filter-arg.h
+++ b/filter/filter-arg.h
@@ -25,7 +25,7 @@
#include <gtk/gtk.h>
#include <gtkhtml/gtkhtml.h>
-#include <gnome-xml/tree.h>
+#include <tree.h> /* gnome-xml */
#define FILTER_ARG(obj) GTK_CHECK_CAST (obj, filter_arg_get_type (), FilterArg)
#define FILTER_ARG_CLASS(klass) GTK_CHECK_CLASS_CAST (klass, filter_arg_get_type (), FilterArgClass)