X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fread-line.c;h=1a71d77a597689b0f0a5acc989de70afc6073b18;hb=5f168bf8465ae50ba5c2c761b52f29a0500c0658;hp=7122b78d8777a11cafe644f4e55a25ebf046ea16;hpb=d9bca7edf0d4a024ca930d1e34e08a3b4d54a6c7;p=pspp diff --git a/src/ui/terminal/read-line.c b/src/ui/terminal/read-line.c index 7122b78d87..1a71d77a59 100644 --- a/src/ui/terminal/read-line.c +++ b/src/ui/terminal/read-line.c @@ -26,12 +26,12 @@ #include "read-line.h" #include -#include +#include #include #include #include #include -#include +#include #include #include "gettext.h"