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);