diff --git a/storm-config.h.in b/storm-config.h.in
index 5ba4de252..074e72d1c 100644
--- a/storm-config.h.in
+++ b/storm-config.h.in
@@ -21,7 +21,7 @@
 #define STORM_BOOST_INCLUDE_DIR "@STORM_BOOST_INCLUDE_DIR@"
 
 // Carl include directory used during compilation.
-#define STORM_CARL_INCLUDE_DIR "@STORM_CARL_INCLUDE_DIR@"
+#define STORM_CARL_INCLUDE_DIR "@carl_INCLUDE_DIR@"
 
 // Whether Gurobi is available and to be used (define/undef)
 #cmakedefine STORM_HAVE_GUROBI