aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-08-04 20:27:26 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-08-04 20:27:26 +0200
commit5d6e434c896000c49a6953919acdcbaca8dfb86e (patch)
tree4e527e244041a4a0650c4a5dcaf3f2fd01f791a6 /src
parentc48f0176412f2c15fbb3cbc6052550959f581da9 (diff)
Fix readline inclusion
Diffstat (limited to 'src')
-rw-r--r--src/cli.c3
1 files changed, 2 insertions, 1 deletions
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) {}