From 42acfee7b406d220cdcb218bc84a2f80d4c70b63 Mon Sep 17 00:00:00 2001
From: Matthias Volk <m.volk@tue.nl>
Date: Tue, 23 Jul 2024 14:54:23 +0200
Subject: [PATCH] Removed include

---
 src/test/storm-dft/simulator/ImportanceFunction.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/test/storm-dft/simulator/ImportanceFunction.cpp b/src/test/storm-dft/simulator/ImportanceFunction.cpp
index 35ca85387a..8a3ee078cb 100644
--- 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) {