Cosmetics.

[simgrid.git] / src / instr / instr_paje_types.cpp

diff --git a/src/instr/instr_paje_types.cpp b/src/instr/instr_paje_types.cpp
index 141c330..5b39874 100644 (file)
--- a/src/instr/instr_paje_types.cpp
+++ b/src/instr/instr_paje_types.cpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2012-2018. The SimGrid Team.
+/* Copyright (c) 2012-2019. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
@@ -82,7 +82,7 @@ void StateType::push_event(std::string value_name)
 
 void StateType::pop_event()
 {
-  events_.push_back(new StateEvent(issuer_, this, PAJE_PopState, nullptr, nullptr));
+  pop_event(nullptr);
 }
 
 void StateType::pop_event(TIData* extra)