diff --git a/ADOL-C/src/taping.c b/ADOL-C/src/taping.c index 7972dce2..6451952e 100644 --- a/ADOL-C/src/taping.c +++ b/ADOL-C/src/taping.c @@ -1344,6 +1344,10 @@ void freeTapeResources(TapeInfos *tapeInfos) { fclose(tapeInfos->tay_file); tapeInfos->tay_file = NULL; } + if (tapeInfos->signature != NULL) { + free(tapeInfos->signature); + tapeInfos->signature = NULL; + } } /****************************************************************************/