From 76fa67fd3541ca23ed6f5dea773ab05d1d143570 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 25 Sep 2017 16:26:41 +0200
Subject: [PATCH] added missing include

---
 src/storm/solver/AbstractEquationSolver.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/solver/AbstractEquationSolver.h b/src/storm/solver/AbstractEquationSolver.h
index 362239360..6ad9c32ad 100644
--- a/src/storm/solver/AbstractEquationSolver.h
+++ b/src/storm/solver/AbstractEquationSolver.h
@@ -2,6 +2,7 @@
 #define STORM_SOLVER_ABSTRACTEQUATIONSOLVER_H_
 
 #include <memory>
+#include <chrono>
 
 #include <boost/optional.hpp>