From 289bfb7229e721fd6eb74ccaffe9f9a21a4f2f7d Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 25 Mar 2019 09:30:30 +0100
Subject: [PATCH] Added missing include.

---
 .../deterministicScheds/DeterministicParetoExplorer.h            | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicParetoExplorer.h b/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicParetoExplorer.h
index 1ac75e161..4bdb95fe2 100644
--- a/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicParetoExplorer.h
+++ b/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicParetoExplorer.h
@@ -1,6 +1,7 @@
 #pragma once
 
 #include <memory>
+#include <queue>
 
 #include "storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectivePreprocessorResult.h"
 #include "storm/modelchecker/multiobjective/deterministicScheds/MultiObjectiveSchedulerEvaluator.h"