diff options
Diffstat (limited to 'c/src/exec/score/src/thread.c')
-rw-r--r-- | c/src/exec/score/src/thread.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/c/src/exec/score/src/thread.c b/c/src/exec/score/src/thread.c index 3f58c8ef12..a380d76c44 100644 --- a/c/src/exec/score/src/thread.c +++ b/c/src/exec/score/src/thread.c @@ -464,6 +464,7 @@ void _Thread_Close( #endif the_thread->fp_context = NULL; + if ( the_thread->Start.fp_context ) (void) _Workspace_Free( the_thread->Start.fp_context ); if ( the_thread->Start.stack ) |