..

Former-commit-id: c06171dddc
8 years ago · b044b2aca4
2 changed files with 0 additions and 23 deletions
--- a/DFTASFChecker.cpp
+++ b/DFTASFChecker.cpp
@ -1,9 +0,0 @@
-//
-//  DFTASFChecker.cpp
-//  storm
-//
-//  Created by Sebastian Junges on 27/10/16.
-//
-//
-
-#include "DFTASFChecker.hpp"
--- a/DFTASFChecker.hpp
+++ b/DFTASFChecker.hpp
@ -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 */