diff options
| -rw-r--r-- | src/systemc/core/process.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/systemc/core/process.cc b/src/systemc/core/process.cc index a54d5c24c..ef1cea61a 100644 --- a/src/systemc/core/process.cc +++ b/src/systemc/core/process.cc @@ -220,8 +220,6 @@ Process::kill(bool inc_kids) // Inject the kill exception into this process if it's started. if (!_needsStart) injectException(killException); - - _terminatedEvent.notify(); } void @@ -384,6 +382,8 @@ Process::terminate() for (auto s: staticSensitivities) delete s; staticSensitivities.clear(); + + _terminatedEvent.notify(); } Process *Process::_newest; |