remove unnecessary include that makes storm-pars depeond on storm-par…

…sers
moves-rwth · Feb 3, 2025 · 24987ae · 24987ae
1 parent 2ccf76f
commit 24987ae
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/storm-pars/derivative/GradientDescentInstantiationSearcher.h b/src/storm-pars/derivative/GradientDescentInstantiationSearcher.h
@@ -13,7 +13,6 @@
 #include "storm/logic/Formula.h"
 #include "storm/solver/LinearEquationSolver.h"
 
-#include "storm-parsers/parser/FormulaParser.h"
 #include "storm/exceptions/WrongFormatException.h"
 #include "storm/models/sparse/Dtmc.h"
 #include "storm/utility/Stopwatch.h"