From f4672a5b50413a7c4280b0cfa3e8b4508c185cba Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 8 Dec 2016 01:17:09 +0100 Subject: [PATCH] Added -Wextra flag to notice warnings more easily. --- CMakeLists.txt | 2 +- include/plasp/pddl/translation/Primitives.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 33b7ff9..efe8480 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -5,7 +5,7 @@ option(PLASP_BUILD_TESTS "Build unit tests" OFF) find_package(Boost 1.55.0 COMPONENTS program_options iostreams system filesystem REQUIRED) -set(CMAKE_CXX_FLAGS "-Wall -Wextra -Wpedantic") +set(CMAKE_CXX_FLAGS "-Wall -Wextra -Wpedantic -Werror") set(CMAKE_CXX_FLAGS_DEBUG "-g") set(CMAKE_CXX_STANDARD 14) diff --git a/include/plasp/pddl/translation/Primitives.h b/include/plasp/pddl/translation/Primitives.h index bb026a6..fca8872 100644 --- a/include/plasp/pddl/translation/Primitives.h +++ b/include/plasp/pddl/translation/Primitives.h @@ -94,7 +94,7 @@ inline void translateLiteral(output::ColorStream &outputStream, const Expression } else if (literal.is()) { - const auto &derivedPredicate = literal.as(); + //const auto &derivedPredicate = literal.as(); /*m_outputStream << output::Keyword("variable") << "("; translation::translatePredicate(predicate);