1 files changed, 10 insertions, 0 deletions
diff --git a/core/state.c b/core/state.c
index 8c3dea1..eaca878 100644
--- a/core/state.c
+++ b/core/state.c
@@ -4,7 +4,9 @@
  */
 
 #include <atas/state.h>
+#include <stdlib.h>
 #include <errno.h>
+#include <assert.h>
 
 int
 atas_state_init(const char *in_file, struct atas_state *state)
@@ -32,3 +34,11 @@ atas_state_destroy(struct atas_state *state)
     fclose(state->in_file);
     state->in_file = NULL;
 }
+
+void
+atas_fatal(struct atas_state *state)
+{
+    assert(state != NULL && "state cannot be NULL\n");
+    atas_state_destroy(state);
+    exit(1);
+}