X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flanguage%2Fprompt.c;h=b527807875b897d17c1d2ff662932978cbf2f74e;hb=777b94603f5d72d0037bb9a716b1705dd3193b06;hp=ede6a5e3b9c8c76d5b5d249113bc2537e3cff82d;hpb=d0b91eae59319ab2756d0d43b9cb15eb9cd3c234;p=pspp diff --git a/src/language/prompt.c b/src/language/prompt.c index ede6a5e3b9..b527807875 100644 --- a/src/language/prompt.c +++ b/src/language/prompt.c @@ -29,7 +29,6 @@ #include #include #include -#include #include #include #include