From 1bbf1f108e9f4ecf30ce8012992ee2f03364a191 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 6 Dec 2019 10:48:11 +0100
Subject: [PATCH] Adaption to changes in Storm

---
 src/core/environment.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/environment.cpp b/src/core/environment.cpp
index ecc46b0..9f1c89b 100644
--- a/src/core/environment.cpp
+++ b/src/core/environment.cpp
@@ -9,6 +9,7 @@
 #include "storm/environment/solver/TopologicalSolverEnvironment.h"
 #include "storm/environment/solver/MultiplierEnvironment.h"
 #include "storm/environment/solver/MinMaxSolverEnvironment.h"
+#include "storm/environment/solver/LongRunAverageSolverEnvironment.h"
 
 void define_environment(py::module& m) {
     py::enum_<storm::solver::EquationSolverType>(m, "EquationSolverType", "Solver type for equation systems")