From c2834c8a1f016394ff15e0fbe8e2a50a9c3d29f1 Mon Sep 17 00:00:00 2001
From: Oleg Zabluda <ozabluda@gmail.com>
Date: Mon, 21 Aug 2023 10:54:53 -0700
Subject: [PATCH] Remove unneeded check of free(NULL)

Passing NULL to free() is totally allowed
---
 run.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run.c b/run.c
index e5b1233..fe19525 100644
--- a/run.c
+++ b/run.c
@@ -799,7 +799,7 @@ int main(int argc, char *argv[]) {
     }
 
     // memory and file handles cleanup
-    if (prompt_tokens != NULL) { free(prompt_tokens); }
+    free(prompt_tokens);
     free_sampler(&sampler);
     free_tokenizer(&tokenizer);
     free_transformer(&transformer);