From 38c7762254b1ba4e3768ec6d1801673fae1b257a Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 24 Oct 2019 10:47:00 +0200
Subject: [PATCH] Added missing include to fix compilation issue on Linux

---
 src/storm-pars/analysis/Order.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm-pars/analysis/Order.cpp b/src/storm-pars/analysis/Order.cpp
index 350cffa29..150d2711d 100644
--- a/src/storm-pars/analysis/Order.cpp
+++ b/src/storm-pars/analysis/Order.cpp
@@ -1,5 +1,7 @@
 #include <iostream>
 #include <fstream>
+#include <algorithm>
+
 #include "Order.h"
 
 namespace storm {