diff --git a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c
index fcbd1f911..ebb5f7062 100644
--- a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c
+++ b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c
@@ -80,6 +80,10 @@ sylvan_storm_rational_function_init()
 	CACHE_STORM_RATIONAL_FUNCTION_AND_EXISTS = cache_next_opid();
 }
 
+uint32_t sylvan_storm_rational_function_get_type() {
+	return sylvan_storm_rational_function_type;
+}
+
 /**
  * Create storm::RationalFunction leaf
  */
diff --git a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.h b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.h
index 2080ca11c..f97347690 100644
--- a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.h
+++ b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.h
@@ -10,7 +10,7 @@
 
 #define SYLVAN_HAVE_CARL 1
 
-#ifdef SYLVAN_HAVE_CARL
+#if defined(SYLVAN_HAVE_CARL) || defined(STORM_HAVE_CARL)
 
 #ifdef __cplusplus
 extern "C" {
@@ -21,6 +21,11 @@ extern "C" {
  */
 void sylvan_storm_rational_function_init();
 
+/** 
+ * Returns the identifier necessary to use these custom leaves.
+ */
+uint32_t sylvan_storm_rational_function_get_type();
+
 /**
  * Create storm::RationalFunction leaf
  */