stupid fix in cli (carl version can not be shown, no idea how...)

Former-commit-id: 47dde73f72
9 years ago · 40a0f4f18a
1 changed files with 0 additions and 3 deletions
--- 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"