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 | |
| parent | d477b34d1df3b471f8132525b0a008bbd03ddb6d (diff) | |
| parent | 3baffbdcc5718815d4e2958531dcb1d906ae0061 (diff) | |
Merge "Fix compile error under gcc with -Denable-pch-std=false" into main
Diffstat (limited to 'src')
| -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> |