diff --git a/main.c b/main.c
index c1d3fe54..7ecc913f 100644
--- a/main.c
+++ b/main.c
@@ -207,6 +207,7 @@ void run_main (int argc, char **argv) {
   }
 
   sexp_gc_release2(ctx);
+  sexp_destroy_context(ctx);
 }
 
 int main (int argc, char **argv) {