Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[INSTR] StateEvent::popEvent() calls now StateEvent::popEvent(nullptr)
authorChristian Heinrich <franz-christian.heinrich@inria.fr>
Thu, 26 Apr 2018 09:03:51 +0000 (11:03 +0200)
committerChristian Heinrich <franz-christian.heinrich@inria.fr>
Fri, 1 Jun 2018 08:21:58 +0000 (10:21 +0200)
src/instr/instr_paje_types.cpp

index 141c330..5739b34 100644 (file)
@@ -82,7 +82,7 @@ void StateType::push_event(std::string value_name)
 
 void StateType::pop_event()
 {
 
 void StateType::pop_event()
 {
-  events_.push_back(new StateEvent(issuer_, this, PAJE_PopState, nullptr, nullptr));
+  pop_event(nullptr);
 }
 
 void StateType::pop_event(TIData* extra)
 }
 
 void StateType::pop_event(TIData* extra)