X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fpor-file-writer.c;h=5795b817dcf2b9cefafb42d342fe715ac96f1117;hb=a49b940e58f148bf111c647d9b4822025636ff80;hp=f5507522b7a81adf0684c13b0f242f58be0e37f0;hpb=dc331e08118a1c299a41069f6f51183176b27621;p=pspp

diff --git a/src/data/por-file-writer.c b/src/data/por-file-writer.c
index f5507522b7..5795b817dc 100644
--- a/src/data/por-file-writer.c
+++ b/src/data/por-file-writer.c
@@ -316,7 +316,7 @@ write_value (struct pfm_writer *w, const union value *v, int width)
     {
       width = MIN (width, MAX_POR_WIDTH);
       write_int (w, width);
-      buf_write (w, value_str (v, width), width);
+      buf_write (w, v->s, width);
     }
 }