From f65efdb4bbb0a936984e97689c823d16d57bbda0 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 2 Sep 2015 16:31:32 +0200
Subject: [PATCH] disable smtrat for now

Former-commit-id: 4f63d4cd05227b993884a5df1ad0af8603ff5e56
---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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()