1 files changed, 1 insertions, 0 deletions

diff --git a/src/main.c b/src/main.c
index 0ae67dd..45de94e 100644
--- a/src/main.c
+++ b/src/main.c
@@ -15,5 +15,6 @@ int main(void)
 	print_term(reduced);
 	printf("\n");
 	free_term(term);
+	free_term(reduced);
 	return 0;
 }