From 0c317a065282c8f00c5277799e155aa58a55b7ca Mon Sep 17 00:00:00 2001
From: Tristan Riehs <tristan.riehs@inria.fr>
Date: Sun, 2 Aug 2026 20:01:28 +0200
Subject: Add readline_with_check readline wrapper

---
 src/input.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/input.h')

diff --git a/src/input.h b/src/input.h
index 7085bac..13a53d5 100644
--- a/src/input.h
+++ b/src/input.h
@@ -9,4 +9,7 @@ int prompt_yes_no(void);
 
 void remove_ending_newline(char *str);
 
+/* Readline wrapper that aborts if readline returns NULL. */
+char *readline_with_check(const char *prompt);
+
 #endif
-- 
cgit v1.2.3