X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdictionary%2Frename-variables.c;h=ecd13aa536e8d536ec30195d6147122540806979;hb=58aeeeafe4a07609db92966d7cf65b99e1321dc7;hp=c175831d8dacb6c3d448ac2821a9d7362725e1b5;hpb=726b2e7b2b7a79f0cf860efe43e349762bf3f44e;p=pspp-builds.git diff --git a/src/language/dictionary/rename-variables.c b/src/language/dictionary/rename-variables.c index c175831d..ecd13aa5 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