diff --git a/src/storm/solver/SolverStatus.cpp b/src/storm/solver/SolverStatus.cpp
new file mode 100644
index 000000000..49c2e0f52
--- /dev/null
+++ b/src/storm/solver/SolverStatus.cpp
@@ -0,0 +1,8 @@
+//
+//  SolverStatus.cpp
+//  storm
+//
+//  Created by Christian Dehnert on 10.10.17.
+//
+
+#include "SolverStatus.hpp"
diff --git a/src/storm/solver/SolverStatus.h b/src/storm/solver/SolverStatus.h
new file mode 100644
index 000000000..cd346dd53
--- /dev/null
+++ b/src/storm/solver/SolverStatus.h
@@ -0,0 +1,13 @@
+//
+//  SolverStatus.hpp
+//  storm
+//
+//  Created by Christian Dehnert on 10.10.17.
+//
+
+#ifndef SolverStatus_hpp
+#define SolverStatus_hpp
+
+#include <stdio.h>
+
+#endif /* SolverStatus_hpp */