From 4e0ee1a3196651e9a3993e68fda0caf72752d17c Mon Sep 17 00:00:00 2001
From: Snaipe <franklinmathieu@gmail.com>
Date: Sat, 24 Sep 2016 21:16:35 +0200
Subject: [PATCH] theories: Fixed leak in theory context destruction

---
 src/core/theories.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/theories.c b/src/core/theories.c
index 8bc01eb..b410435 100644
--- a/src/core/theories.c
+++ b/src/core/theories.c
@@ -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;