Index: trunk/FACT++/src/drivectrl.cc
===================================================================
--- trunk/FACT++/src/drivectrl.cc	(revision 14719)
+++ trunk/FACT++/src/drivectrl.cc	(revision 14720)
@@ -21,6 +21,4 @@
 #include "Timers.h"
 #include "Console.h"
-
-#include "tools.h"
 
 #include "HeadersDrive.h"