Fix

Former-commit-id: edd0ad8b36
9 years ago · e7d82fbaf5
1 changed files with 1 additions and 1 deletions
--- 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 {