Removed include

moves-rwth · Jul 23, 2024 · 42acfee · 42acfee
1 parent 9b35afd
commit 42acfee
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/test/storm-dft/simulator/ImportanceFunction.cpp b/src/test/storm-dft/simulator/ImportanceFunction.cpp
@@ -7,8 +7,6 @@
 #include "storm-dft/simulator/ImportanceFunction.h"
 #include "storm-dft/storage/DftSymmetries.h"
 
-#include "storm-parsers/api/storm-parsers.h"
-
 namespace {
 
 std::pair<std::shared_ptr<storm::dft::storage::DFT<double>>, storm::dft::storage::DFTStateGenerationInfo> prepareDFT(std::string const& file) {