From c2ef24563e0095a5592b2d6dbb675f2aacd6f39a Mon Sep 17 00:00:00 2001
From: dmartinez <dmartinez@iri.upc.edu>
Date: Fri, 7 Nov 2014 15:27:46 +0100
Subject: [PATCH] Removed warning.
---
src/symbolic/predicates_template_imp.h | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/symbolic/predicates_template_imp.h b/src/symbolic/predicates_template_imp.h
index 9371b913..94d4d12c 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;
--
GitLab