From 6d84d030bdbf76b7043e1c80c8035b5bc79efe96 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 12 Feb 2016 14:20:45 +0100
Subject: [PATCH] Fixed lowercase

Former-commit-id: fd323c1e1c5b3025aaad326e7749538d507df779
---
 src/builder/ExplicitDFTModelBuilder.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/builder/ExplicitDFTModelBuilder.cpp b/src/builder/ExplicitDFTModelBuilder.cpp
index 817295346..74c3db23d 100644
--- 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>