X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fread-line.h;h=cadd2cce1410e9f130d07840364c5d1e7f0eeed4;hb=d8dd3a226c9b963314bbe6a2ed2cf74714072c77;hp=0c32dec5123da8706fdc150108fa37f029c4f710;hpb=dcf9b154cbcaa35c3d8459a201b77eec8bcb30bd;p=pspp

diff --git a/src/ui/terminal/read-line.h b/src/ui/terminal/read-line.h
index 0c32dec512..cadd2cce14 100644
--- a/src/ui/terminal/read-line.h
+++ b/src/ui/terminal/read-line.h
@@ -20,7 +20,7 @@
 #ifndef READLN_H
 #define READLN_H
 
-#include "str.h"
+#include <libpspp/str.h>
 
 void readln_initialize (void);
 void readln_uninitialize (void);