dtmc.h -> Dtmc.h

12 years ago · 54e52b5ab7
1 changed files with 1 additions and 1 deletions
--- a/src/modelChecker/GmmxxDtmcPrctlModelChecker.h
+++ b/src/modelChecker/GmmxxDtmcPrctlModelChecker.h
@ -10,7 +10,7 @@

 #include "src/utility/vector.h"

-#include "src/models/dtmc.h"
+#include "src/models/Dtmc.h"
 #include "src/modelChecker/DtmcPrctlModelChecker.h"
 #include "src/solver/GraphAnalyzer.h"