pddlp-tokenize: free memory allocated for source file

guilherme-puida · Sep 10, 2024 · 240c62c · 240c62c
1 parent 51eea85
commit 240c62c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bin/pddlp-tokenize.c b/bin/pddlp-tokenize.c
@@ -91,5 +91,6 @@ main(int argc, char **argv)
     if (error_count)
         printf("error count: %d\n", error_count);
 
+    free(source);
     return 0;
 }