X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdictionary%2Fvector.c;h=b0d696154b7f212a5c790a87efe7d69b1debd31a;hb=refs%2Fbuilds%2F20120610000508%2Fpspp;hp=a5e66df8c44a592fd8a0c5cb7c767c73943c0d05;hpb=9ade26c8349b4434008c46cf09bc7473ec743972;p=pspp

diff --git a/src/language/dictionary/vector.c b/src/language/dictionary/vector.c
index a5e66df8c4..b0d696154b 100644
--- a/src/language/dictionary/vector.c
+++ b/src/language/dictionary/vector.c
@@ -18,8 +18,8 @@
 
 #include <stdlib.h>
 
+#include "data/dataset.h"
 #include "data/format.h"
-#include "data/procedure.h"
 #include "data/dictionary.h"
 #include "data/variable.h"
 #include "language/command.h"