From 28f8c9d8218009ddadaf7e5a532262ec99a75124 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 27 Aug 2019 17:05:33 +0200
Subject: [PATCH] Fix as proposed by Lord Hobborg in Issue 53

---
 resources/3rdparty/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index fbdaadb8c..ce37a0843 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -241,7 +241,7 @@ if (NOT STORM_FORCE_SHIPPED_CARL)
 endif()
 if(carl_FOUND AND NOT STORM_FORCE_SHIPPED_CARL)
     get_target_property(carlLOCATION lib_carl LOCATION)
-    if(${carlLOCATION} STREQUAL "carlLOCATION-NOTFOUND")
+    if("${carlLOCATION}" STREQUAL "carlLOCATION-NOTFOUND")
         message(SEND_ERROR "Library location for carl is not found, did you build carl?")
     elseif(EXISTS ${carlLOCATION})
         #empty on purpose