diff --git a/CMakeLists.txt b/CMakeLists.txt
index a06b0ce18..274cb0350 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -98,7 +98,7 @@ if(USE_CARL)
      set(STORM_HAVE_CARL ON)
     endif()
 
-    find_package(smtrat QUIET)
+    #find_package(smtrat QUIET)
     if(smtrat_FOUND)
         set(STORM_HAVE_SMTRAT ON)
     endif()