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 */