Fixed lowercase

Former-commit-id: fd323c1e1c
10 years ago · 6d84d030bd
1 changed files with 1 additions and 1 deletions
--- a/src/builder/ExplicitDFTModelBuilder.cpp
+++ b/src/builder/ExplicitDFTModelBuilder.cpp
@ -1,6 +1,6 @@
 #include "src/builder/ExplicitDFTModelBuilder.h"
 #include <src/models/sparse/MarkovAutomaton.h>
-#include <src/models/sparse/CTMC.h>
+#include <src/models/sparse/Ctmc.h>
 #include <src/utility/constants.h>
 #include <src/utility/vector.h>
 #include <src/exceptions/UnexpectedException.h>