X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdictionary%2Frename-variables.c;h=ecd13aa536e8d536ec30195d6147122540806979;hb=923465a12d3abde067b0b3790768caf326b08a8c;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