diff options
author | Delan Azabani <delan@azabani.com> | 2024-06-24 06:45:40 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@localhost> | 2024-06-24 06:45:40 +0000 |
commit | 37f276ba9d1856a6093e0d347224ab7c1982e75f (patch) | |
tree | cee5b7da100a97354138b970973436cc3705f612 /src/libcmd/repl.cc | |
parent | d477b34d1df3b471f8132525b0a008bbd03ddb6d (diff) | |
parent | 3baffbdcc5718815d4e2958531dcb1d906ae0061 (diff) |
Merge "Fix compile error under gcc with -Denable-pch-std=false" into main
Diffstat (limited to 'src/libcmd/repl.cc')
-rw-r--r-- | src/libcmd/repl.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libcmd/repl.cc b/src/libcmd/repl.cc index 32cbf8e33..28341259c 100644 --- a/src/libcmd/repl.cc +++ b/src/libcmd/repl.cc @@ -1,3 +1,4 @@ +#include <cstdio> #include <editline.h> #include <iostream> #include <cstdlib> |