1 files changed, 1 insertions, 0 deletions
diff --git a/tools/mirb/mirb.c b/tools/mirb/mirb.c
index a5285df0f..459923768 100644
--- a/tools/mirb/mirb.c
+++ b/tools/mirb/mirb.c
@@ -227,6 +227,7 @@ main(void)
       }
     }
   }
+  mrb_close(mrb_interpreter);
 
   return 0;
 }