X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fstr.c;h=8243aa0690aad24a9b519db9bd1838724d32d729;hb=cb72db62c20ecab427229110820c5b053d0663c4;hp=afe32de9f2049bfcc5a80ac7a95b36b348be4cb7;hpb=c2f0df181038fe9975d642096e65ea48ca491acd;p=pspp

diff --git a/src/libpspp/str.c b/src/libpspp/str.c
index afe32de9f2..8243aa0690 100644
--- a/src/libpspp/str.c
+++ b/src/libpspp/str.c
@@ -23,6 +23,7 @@
 #include <stdint.h>
 #include <stdlib.h>
 
+#include <libpspp/cast.h>
 #include <libpspp/message.h>
 #include <libpspp/pool.h>
 
@@ -1214,7 +1215,7 @@ ds_capacity (const struct string *st)
 char *
 ds_cstr (const struct string *st_)
 {
-  struct string *st = (struct string *) st_;
+  struct string *st = CONST_CAST (struct string *, st_);
   if (st->ss.string == NULL)
     ds_extend (st, 1);
   st->ss.string[st->ss.length] = '\0';