1 files changed, 6 insertions, 0 deletions
diff --git a/src/number.c b/src/number.c
index 8676d9d..0dfd2cf 100644
--- a/src/number.c
+++ b/src/number.c
@@ -119,3 +119,9 @@ init_numbers ()
 
   numbers_taken = xmalloc (max_taken * sizeof (int));
 }
+
+void
+free_numbers ()
+{
+  free (numbers_taken);
+}