From e7f4acd0961ce1f2ce5323dcb2ff61f0b77d9d76 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Vallv=C3=A9=20Navarro?= <jvallve@iri.upc.edu>
Date: Wed, 16 Sep 2020 13:54:33 +0200
Subject: [PATCH] small bug fixed
---
src/solver/solver_manager.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/solver/solver_manager.cpp b/src/solver/solver_manager.cpp
index a0580b665..2f682d050 100644
--- a/src/solver/solver_manager.cpp
+++ b/src/solver/solver_manager.cpp
@@ -358,7 +358,7 @@ bool SolverManager::isStateBlockRegistered(const StateBlockPtr& state_ptr) const
bool SolverManager::isFactorRegistered(const FactorBasePtr& fac_ptr) const
{
- return isFactorRegisteredDerived(fac_ptr);
+ return factors_.count(fac_ptr) and isFactorRegisteredDerived(fac_ptr);
}
double SolverManager::getPeriod() const
--
GitLab