From f80a7bcab32263a8406a34991164b7bca83cbe6a Mon Sep 17 00:00:00 2001
From: Lanchid <thomas.heinemann@rwth-aachen.de>
Date: Fri, 7 Dec 2012 11:42:35 +0100
Subject: [PATCH] Deleted DtmcPrctlModelChecker.cpp (was just there to make
 sure the corresponding h file is compiled, but is not necessary for that any
 more right now)

---
 src/modelChecker/DtmcPrctlModelChecker.cpp | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 src/modelChecker/DtmcPrctlModelChecker.cpp

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"