diff options
Diffstat (limited to '')
| -rw-r--r-- | c/src/exec/score/src/thread.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/c/src/exec/score/src/thread.c b/c/src/exec/score/src/thread.c index d507e8e075..3f58c8ef12 100644 --- a/c/src/exec/score/src/thread.c +++ b/c/src/exec/score/src/thread.c @@ -471,6 +471,9 @@ void _Thread_Close( if ( the_thread->extensions ) (void) _Workspace_Free( the_thread->extensions ); + + the_thread->Start.stack = NULL; + the_thread->extensions = NULL; } /*PAGE |