Index: /trunk/FACT++/src/DimState.h
===================================================================
--- /trunk/FACT++/src/DimState.h	(revision 13847)
+++ /trunk/FACT++/src/DimState.h	(revision 13848)
@@ -1,4 +1,6 @@
 #ifndef FACT_DimState
 #define FACT_DimState
+
+#include "State.h"
 
 class DimState
@@ -189,5 +191,4 @@
         return State(state(), "Current label");
     }
-
 };