From 4e4edce9fe4ee7edf9551265e538e673b5977682 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 2 Jun 2017 11:30:53 +0200
Subject: [PATCH] Moved include to avoid sylvan compile issue

---
 src/storm/adapters/CarlAdapter.h     | 1 -
 src/storm/analysis/GraphConditions.h | 3 ++-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/adapters/CarlAdapter.h b/src/storm/adapters/CarlAdapter.h
index 642822b68..27aa37960 100644
--- 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.
diff --git a/src/storm/analysis/GraphConditions.h b/src/storm/analysis/GraphConditions.h
index 4bcf1a00a..59d4d178e 100644
--- 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 {
@@ -73,4 +74,4 @@ public:
 
 
     }
-}
\ No newline at end of file
+}