From b1ce4acc33989daec4ba71274d0ef50a60e12021 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 7 Dec 2016 22:15:34 +0100
Subject: [PATCH] export imported carl targets

---
 resources/cmake/stormConfig.cmake.in | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/resources/cmake/stormConfig.cmake.in b/resources/cmake/stormConfig.cmake.in
index 99b7bfb91..d8f08533f 100644
--- a/resources/cmake/stormConfig.cmake.in
+++ b/resources/cmake/stormConfig.cmake.in
@@ -2,6 +2,8 @@ set(storm_VERSION @storm_VERSION@)
 
 get_filename_component(storm_CMAKE_DIR "${CMAKE_CURRENT_LIST_FILE}" PATH)
 
+include("@carl_CMAKE_DIR@/carlConfig.cmake")
+
 @DEP_TARGETS@
 
 @EXP_OPTIONS@