X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fcase.h;h=d00c2ad37badd69cc80f9991d99a70bf8d88084c;hb=79df5d5ebf834a3f768fe8ca2f8eb8b51abe9be8;hp=0bfc62cdce96054fe461043ac2cb44bf39436c03;hpb=cb72db62c20ecab427229110820c5b053d0663c4;p=pspp-builds.git

diff --git a/src/data/case.h b/src/data/case.h
index 0bfc62cd..d00c2ad3 100644
--- a/src/data/case.h
+++ b/src/data/case.h
@@ -135,7 +135,7 @@ case_unshare (struct ccase *c)
 static inline struct ccase *
 case_ref (const struct ccase *c_)
 {
-  struct ccase *c = (struct ccase *) c_;
+  struct ccase *c = CONST_CAST (struct ccase *, c_);
   c->ref_cnt++;
   return c;
 }