aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-08-04 22:53:33 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-08-04 22:53:44 +0200
commit3b4b990e266b4cac7e775cb148284a9312223227 (patch)
tree99b73ebd16bf17d78db39a1e32bfd2b8e5ffbf06 /src
parent920aed36f81bcce40c9f1c5bcda906a13e4fb5e4 (diff)
Really fix readline inclusion
Diffstat (limited to 'src')
-rw-r--r--src/cli.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cli.c b/src/cli.c
index a24d771..3fef348 100644
--- a/src/cli.c
+++ b/src/cli.c
@@ -19,7 +19,7 @@
#include <stdio.h>
#include <limits.h>
-#include <readline.h>
+#include <readline/readline.h>
#include "disp.h"