Moved include to avoid sylvan compile issue

8 years ago · 4e4edce9fe
2 changed files with 2 additions and 2 deletions
--- a/src/storm/adapters/CarlAdapter.h
+++ b/src/storm/adapters/CarlAdapter.h
@ -9,7 +9,6 @@
 #include <carl/core/Relation.h>
 #include <carl/core/SimpleConstraint.h>
 #include <carl/util/stringparser.h>
-#include <carl/formula/Formula.h>

 namespace carl {
    // Define hash values for all polynomials and rational function.
--- a/src/storm/analysis/GraphConditions.h
+++ b/src/storm/analysis/GraphConditions.h
@ -4,6 +4,7 @@
 #include <unordered_set>
 #include "storm/adapters/CarlAdapter.h"
 #include "storm/models/sparse/Dtmc.h"
+#include <carl/formula/Formula.h>

 namespace storm {
    namespace analysis {