diff --git a/src/modelchecker/prctl/helper/MDPModelCheckingHelperReturnType.h b/src/modelchecker/prctl/helper/MDPModelCheckingHelperReturnType.h
index d04dd1988..a68a5889e 100644
--- a/src/modelchecker/prctl/helper/MDPModelCheckingHelperReturnType.h
+++ b/src/modelchecker/prctl/helper/MDPModelCheckingHelperReturnType.h
@@ -3,7 +3,7 @@
 
 #include <vector>
 #include <memory>
-#include "src/storage/partialscheduler.h"
+#include "src/storage/PartialScheduler.h"
 
 namespace storm {
     namespace storage {