stv0g/Criterion
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

theories: Fixed leak in theory context destruction

Browse source
This commit is contained in:
Snaipe 2016-09-24 21:16:35 +02:00
parent 932b943cd2
commit 4e0ee1a319
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/core/theories.c
View file

@ -85,6 +85,7 @@ struct criterion_theory_context *cr_theory_init(void)
void cr_theory_free(struct criterion_theory_context *ctx)
{
dcFree(ctx->vm);
free(ctx);
}
static jmp_buf theory_jmp;