diff --git a/src/symbolic/predicates_template_imp.h b/src/symbolic/predicates_template_imp.h index 9371b91357c4a3908bbfebf8e1ce010b945aee16..94d4d12c38e412b65b2a3ce33a831f2e4393ccd2 100644 --- a/src/symbolic/predicates_template_imp.h +++ b/src/symbolic/predicates_template_imp.h @@ -217,7 +217,6 @@ template<typename SymbolT> PredicateGroup<SymbolT>::PredicateGroup(std::string predicates_) { // DEPRECATED - LOG(ERROR) << "TODO Remove"; std::string item, aux, line; bool positive;