X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flanguage%2Fdictionary%2Frename-variables.c;h=ecd13aa536e8d536ec30195d6147122540806979;hb=751d7694b0904b580fad3903205341c85c04d421;hp=c175831d8dacb6c3d448ac2821a9d7362725e1b5;hpb=726b2e7b2b7a79f0cf860efe43e349762bf3f44e;p=pspp diff --git a/src/language/dictionary/rename-variables.c b/src/language/dictionary/rename-variables.c index c175831d8d..ecd13aa536 100644 --- a/src/language/dictionary/rename-variables.c +++ b/src/language/dictionary/rename-variables.c @@ -24,7 +24,6 @@ #include #include #include -#include #include #include