diff --git a/src/modelChecker/DtmcPrctlModelChecker.cpp b/src/modelChecker/DtmcPrctlModelChecker.cpp
deleted file mode 100644
index c2d52aa92..000000000
--- a/src/modelChecker/DtmcPrctlModelChecker.cpp
+++ /dev/null
@@ -1,8 +0,0 @@
-/*
- * DtmcPrctlModelChecker.cpp
- *
- *  Created on: 22.10.2012
- *      Author: Thomas Heinemann
- */
-
-#include "DtmcPrctlModelChecker.h"