X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fcase.h;h=bdb68dc65b55617a463fe0ca6ab10a9892d9327b;hb=08703a888d1cc31459e6028a61e3940f6d4b2c5f;hp=e89cb44eb3f60e6e8071fa66a3d8a774feeee485;hpb=5fd22ca7771c8175ef05e91e1194c3c4096337f4;p=pspp

diff --git a/src/data/case.h b/src/data/case.h
index e89cb44eb3..bdb68dc65b 100644
--- a/src/data/case.h
+++ b/src/data/case.h
@@ -91,7 +91,7 @@ void case_unshare (struct ccase *);
 
 #ifndef DEBUGGING
 #include <stdlib.h>
-#include "str.h"
+#include <libpspp/str.h>
 
 static inline void
 case_nullify (struct ccase *c)