From 40a0f4f18a335721cbbcdbe6bd15ba16ffad5551 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 18 Jun 2015 22:14:12 +0200
Subject: [PATCH] stupid fix in cli (carl version can not be shown, no idea
 how...)

Former-commit-id: 47dde73f722456c92de7c9042db57e4f624e7410
---
 src/utility/cli.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/utility/cli.h b/src/utility/cli.h
index 7d3e4f662..40f50acfa 100644
--- a/src/utility/cli.h
+++ b/src/utility/cli.h
@@ -30,9 +30,6 @@
 #include <cuda_runtime.h>
 #endif
 
-#ifdef STORM_HAVE_CARL
-#include "carl/carl.h"
-#endif 
 
 #ifdef STORM_HAVE_SMTRAT
 #include "lib/smtrat.h"