diff --git a/src/modelChecker/ForwardDeclarations.h b/src/modelChecker/ForwardDeclarations.h
new file mode 100644
index 000000000..715f1488c
--- /dev/null
+++ b/src/modelChecker/ForwardDeclarations.h
@@ -0,0 +1,23 @@
+/*
+ * ForwardDeclarations.h
+ *
+ *  Created on: 14.01.2013
+ *      Author: thomas
+ */
+
+#ifndef STORM_MODELCHECKER_FORWARDDECLARATIONS_H_
+#define STORM_MODELCHECKER_FORWARDDECLARATIONS_H_
+
+
+namespace storm {
+
+namespace modelChecker {
+
+template <class Type>
+class DtmcPrctlModelChecker;
+
+} //namespace modelChecker
+
+} //namespace storm
+
+#endif /* STORM_MODELCHECKER_FORWARDDECLARATIONS_H_ */