From fb00f9a7803274a18685beda84194cc435dc034f Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 22 May 2018 16:50:07 -0700
Subject: [PATCH] fix(runtime/object): missing `free`

---
 src/runtime/object.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/object.h b/src/runtime/object.h
index e47cdb8d91..e6310c9034 100644
--- a/src/runtime/object.h
+++ b/src/runtime/object.h
@@ -166,7 +166,7 @@ inline void dealloc(object * o) {
     switch (get_kind(o)) {
     case object_kind::External: dealloc_external(o); break;
     case object_kind::MPZ: dealloc_mpz(o); break;
-    default: break;
+    default: free(o); break;
     }
 }