From 62cede1759ca49cb2dde977cf4765257219478ec Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 10 Aug 2021 15:34:04 +0200
Subject: [PATCH] Added missing include.

---
 src/storm-pars/analysis/AssumptionChecker.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm-pars/analysis/AssumptionChecker.cpp b/src/storm-pars/analysis/AssumptionChecker.cpp
index 0d8d87cf9..8dad3bd48 100644
--- a/src/storm-pars/analysis/AssumptionChecker.cpp
+++ b/src/storm-pars/analysis/AssumptionChecker.cpp
@@ -11,6 +11,7 @@
 #include "storm/storage/expressions/ExpressionManager.h"
 #include "storm/storage/expressions/VariableExpression.h"
 #include "storm/storage/expressions/RationalFunctionToExpression.h"
+#include "storm/utility/solver.h"
 
 namespace storm {
     namespace analysis {