From 5d6e434c896000c49a6953919acdcbaca8dfb86e Mon Sep 17 00:00:00 2001
From: Tristan Riehs <tristan.riehs@inria.fr>
Date: Tue, 4 Aug 2026 20:27:26 +0200
Subject: Fix readline inclusion

---
 src/cli.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/cli.c')

diff --git a/src/cli.c b/src/cli.c
index 703d418..afbb540 100644
--- a/src/cli.c
+++ b/src/cli.c
@@ -20,7 +20,8 @@
 #include <stdio.h>
 #include <limits.h>
 
-#include "_readline.h"
+#include <readline.h>
+
 #include "disp.h"
 
 void cli_init(void) {}
-- 
cgit v1.2.3