From effca50c92111def71c2faa8f3a43cd88ffd1acc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Sol=C3=A0?= <jsola@iri.upc.edu>
Date: Thu, 17 Dec 2020 23:40:33 +0100
Subject: [PATCH] Remove more KEY stuff for Frames
---
src/capture/capture_base.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/capture/capture_base.cpp b/src/capture/capture_base.cpp
index c53114be9..0ee44db53 100644
--- a/src/capture/capture_base.cpp
+++ b/src/capture/capture_base.cpp
@@ -219,7 +219,7 @@ void CaptureBase::setProblem(ProblemPtr _problem)
if (_problem == nullptr || _problem == this->getProblem())
return;
- assert(getFrame() and getFrame()->isKey());
+ assert(getFrame() && "Cannot set problem: Capture has no Frame!");
NodeBase::setProblem(_problem);
registerNewStateBlocks(_problem);
--
GitLab