From 8a7d93243ec6092f4c6f25df89733bf789b76b38 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Vallv=C3=A9=20Navarro?= <jvallve@iri.upc.edu>
Date: Thu, 1 Oct 2020 17:47:46 +0200
Subject: [PATCH] added assertion capture of non-key frame

---
 src/capture/capture_base.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/capture/capture_base.cpp b/src/capture/capture_base.cpp
index a8d5f502e..ef0f89d47 100644
--- a/src/capture/capture_base.cpp
+++ b/src/capture/capture_base.cpp
@@ -224,6 +224,8 @@ void CaptureBase::setProblem(ProblemPtr _problem)
     if (_problem == nullptr || _problem == this->getProblem())
         return;
 
+    assert(getFrame() and getFrame()->isKey());
+
     NodeBase::setProblem(_problem);
     registerNewStateBlocks(_problem);
 
-- 
GitLab