From b044b2aca48946fefca0dd769b48d292a001a5e5 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Sun, 30 Oct 2016 23:02:55 +0100
Subject: [PATCH] ..

Former-commit-id: c06171dddc48e66053252bc826d468751d3ad2b2
---
 DFTASFChecker.cpp |  9 ---------
 DFTASFChecker.hpp | 14 --------------
 2 files changed, 23 deletions(-)
 delete mode 100644 DFTASFChecker.cpp
 delete mode 100644 DFTASFChecker.hpp

diff --git a/DFTASFChecker.cpp b/DFTASFChecker.cpp
deleted file mode 100644
index de7a59428..000000000
--- a/DFTASFChecker.cpp
+++ /dev/null
@@ -1,9 +0,0 @@
-//
-//  DFTASFChecker.cpp
-//  storm
-//
-//  Created by Sebastian Junges on 27/10/16.
-//
-//
-
-#include "DFTASFChecker.hpp"
diff --git a/DFTASFChecker.hpp b/DFTASFChecker.hpp
deleted file mode 100644
index 7920f026a..000000000
--- a/DFTASFChecker.hpp
+++ /dev/null
@@ -1,14 +0,0 @@
-//
-//  DFTASFChecker.hpp
-//  storm
-//
-//  Created by Sebastian Junges on 27/10/16.
-//
-//
-
-#ifndef DFTASFChecker_hpp
-#define DFTASFChecker_hpp
-
-#include <stdio.h>
-
-#endif /* DFTASFChecker_hpp */