From 21a229e3a3bd364809a5aa34c52b9defed45bec3 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sun, 13 Nov 2016 10:51:00 +0100
Subject: [PATCH] fixed gcc compiler flags

Former-commit-id: cb6b1f8b17a84bf075f3227dece98287694209f9 [formerly 6511b3ff09f4b81fe9092ef784bd14649fbc4b18]
Former-commit-id: 2a1de45aae245c27a8a12f12f32392dde9a183ca
---
 CMakeLists.txt | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index bb72f3b26..f7dd1cba1 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -122,9 +122,6 @@ set(CONVERSIONHELPER_TARGET "${PROJECT_SOURCE_DIR}/src/utility/ConversionHelper.
 
 if(CMAKE_COMPILER_IS_GNUCC)
     set(STORM_COMPILED_BY "GCC")
-    # Set standard flags for GCC
-    set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE} -funroll-loops --fast-math -fno-finite-math-only")
-    set(CMAKE_C_FLAGS_RELEASE "${CMAKE_C_FLAGS_RELEASE} -funroll-loops")
 
 	# TODO: remove forcing the old version of optional as soon as the related Spirit bug is fixed:
 	# https://svn.boost.org/trac/boost/ticket/12349