diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1ff1aae6e..54f8301b2 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -120,8 +120,7 @@ else(CLANG)
     endif()
     
     add_definitions(-DBOOST_RESULT_OF_USE_DECLTYPE)
-    set (CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++14 -stdlib=${CLANG_STDLIB} -Wall -pedantic -Wno-newline-eof -Wno-mismatched-tags -ftemplate-depth=1024")
-    set (CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -Wall -pedantic")
+	set (CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++14 -stdlib=${CLANG_STDLIB} -Wall -pedantic -Wno-newline-eof -Wno-mismatched-tags -Wno-unused-local-typedefs -ftemplate-depth=1024")    set (CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -Wall -pedantic")
 
     if(FORCE_COLOR)
         set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fcolor-diagnostics")
diff --git a/test/functional/solver/MathsatSmtSolverTest.cpp b/test/functional/solver/MathsatSmtSolverTest.cpp
index bf25ece5d..b5dd88846 100644
--- a/test/functional/solver/MathsatSmtSolverTest.cpp
+++ b/test/functional/solver/MathsatSmtSolverTest.cpp
@@ -162,7 +162,6 @@ TEST(MathsatSmtSolver, AllSat) {
     std::shared_ptr<storm::expressions::ExpressionManager> manager(new storm::expressions::ExpressionManager());
 
     storm::solver::MathsatSmtSolver s(*manager);
-    storm::solver::SmtSolver::CheckResult result = storm::solver::SmtSolver::CheckResult::Unknown;
     
     storm::expressions::Variable a = manager->declareIntegerVariable("a");
     storm::expressions::Variable b = manager->declareIntegerVariable("b");