From 69514b2bb17ea3e7b8e498c1511818a54e2c6ba7 Mon Sep 17 00:00:00 2001
From: Kjartan Maraas <kmaraas@gnome.org>
Date: Thu, 29 Mar 2001 21:18:50 +0000
Subject: Fix headers. Remove unneccesary ones and replace with more
 finegrained

2001-03-30  Kjartan Maraas  <kmaraas@gnome.org>

	* *.*: Fix headers. Remove unneccesary ones and replace
	with more finegrained ones where needed.

svn path=/trunk/; revision=9028
---
 filter/filter-element.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'filter/filter-element.c')

diff --git a/filter/filter-element.c b/filter/filter-element.c
index cbc2c009f9..dd7a7167bb 100644
--- a/filter/filter-element.c
+++ b/filter/filter-element.c
@@ -22,8 +22,8 @@
 #include <config.h>
 #endif
 
-#include <gtk/gtk.h>
-#include <gnome.h>
+#include <string.h>
+#include <gtk/gtktypeutils.h>
 
 #include "filter-element.h"
 #include "filter-input.h"
@@ -34,6 +34,7 @@
 #include "filter-score.h"
 #include "filter-folder.h"
 
+
 static gboolean validate (FilterElement *fe);
 static void xml_create(FilterElement *fe, xmlNodePtr node);
 static FilterElement *clone(FilterElement *fe);
-- 
cgit