Added missing include to fix compilation issue on Linux

5 years ago · 38c7762254
1 changed files with 2 additions and 0 deletions
--- 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 {