From d86d14a40d8d708ff376de14ae585d4ad52d88b0 Mon Sep 17 00:00:00 2001
From: asantamaria <asantamaria@iri.upc.edu>
Date: Wed, 14 Nov 2018 16:25:59 +0100
Subject: [PATCH] remove debug lines
---
src/solver/solver_manager.cpp | 4 ----
1 file changed, 4 deletions(-)
diff --git a/src/solver/solver_manager.cpp b/src/solver/solver_manager.cpp
index 68114c6a1..aec47485d 100644
--- a/src/solver/solver_manager.cpp
+++ b/src/solver/solver_manager.cpp
@@ -30,8 +30,6 @@ void SolverManager::update()
for (StateBlockPtr& state : states)
{
- state->printNotifications();
-
const auto notifications = state->consumeNotifications();
for (const auto notif : notifications)
@@ -42,8 +40,6 @@ void SolverManager::update()
{
const bool registered = state_blocks_.find(state)!=state_blocks_.end();
- // const auto p = state_blocks_.emplace(state, state->getState());
-
// call addStateBlock only if first time added.
if (!registered)
{
--
GitLab