Index: /trunk/FACT++/src/FACT.cc
===================================================================
--- /trunk/FACT++/src/FACT.cc	(revision 11039)
+++ /trunk/FACT++/src/FACT.cc	(revision 11040)
@@ -11,6 +11,4 @@
 
 #include <boost/filesystem.hpp>
-
-#include "tools.h"
 
 // --------------------------------------------------------------------------
Index: /trunk/FACT++/src/ReadlineColor.cc
===================================================================
--- /trunk/FACT++/src/ReadlineColor.cc	(revision 11039)
+++ /trunk/FACT++/src/ReadlineColor.cc	(revision 11040)
@@ -13,6 +13,4 @@
 #include "Readline.h"
 #include "WindowLog.h"
-
-#include "tools.h"
 
 using namespace std;