X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Flanguage%2Fcontrol%2Ftemporary.c;h=bc3c767cdb416a587d154405f941641bfd3e6e54;hb=456454e38aae190277eabaaadc601ccf3ed97af3;hp=2f8b4023c9c7a58765212c774cc357e891397fc0;hpb=9f087e7aa4cdff1d5d46d5e188c0017a9d2d0029;p=pspp diff --git a/src/language/control/temporary.c b/src/language/control/temporary.c index 2f8b4023c9..bc3c767cdb 100644 --- a/src/language/control/temporary.c +++ b/src/language/control/temporary.c @@ -27,7 +27,6 @@ #include #include #include -#include #include #include