X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fcase.h;h=d00c2ad37badd69cc80f9991d99a70bf8d88084c;hb=1349819bc862dbc974a34f88d2e31275b77fe2fc;hp=0bfc62cdce96054fe461043ac2cb44bf39436c03;hpb=3bbb4370239deb29ebbf813d258aef6249e2a431;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;
 }