Removed flex_free()i, corrected buf_destroy logic.

As with flex_alloc(), replace with direct calls to free().

The function buf_destroy is now null safe and the logic was corrected to free()
correctly.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/dfa.c b/src/dfa.c
index 442b25a..ba18744 100644
--- a/src/dfa.c
+++ b/src/dfa.c
@@ -793,8 +793,8 @@ void ntod (void)
 		mkdeftbl ();
 	}
 
-	flex_free ((void *) accset);
-	flex_free ((void *) nset);
+	free(accset);
+	free(nset);
 }