From 6503d929de9a8e6bab36e195ff77934c4b521555 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 2 Sep 2015 19:16:32 +0200
Subject: [PATCH] includes the headers for the number types supported by the
 carl-configuration used on the system

Former-commit-id: 18f80e9157a93a73b45ab2147f0c000e10a3c4f7
---
 src/adapters/CarlAdapter.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/adapters/CarlAdapter.h b/src/adapters/CarlAdapter.h
index c0191701a..99e01e575 100644
--- a/src/adapters/CarlAdapter.h
+++ b/src/adapters/CarlAdapter.h
@@ -6,8 +6,7 @@
 
 #ifdef STORM_HAVE_CARL
 
-#include <cln/cln.h>
-#include <gmpxx.h>
+#include <carl/numbers/numbers.h>
 #include <carl/core/MultivariatePolynomial.h>
 #include <carl/core/RationalFunction.h>
 #include <carl/core/VariablePool.h>