X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fcaseproto.h;h=b0f45c418c47aae8017b0469a5307cff6b9cd7f6;hb=95064b9febe3b0be20b42b32d4dfa9099e306fe8;hp=b85a9f32d9260f02d6339b8f0852caca8518722f;hpb=18021ef879fa68dbec546155311d6676653cf7c3;p=pspp

diff --git a/src/data/caseproto.h b/src/data/caseproto.h
index b85a9f32d9..b0f45c418c 100644
--- a/src/data/caseproto.h
+++ b/src/data/caseproto.h
@@ -22,6 +22,7 @@
 #include <stddef.h>
 #include <stdlib.h>
 #include <data/value.h>
+#include <libpspp/cast.h>
 #include <libpspp/compiler.h>
 
 /* Case prototype.
@@ -144,7 +145,7 @@ void caseproto_free__ (struct caseproto *);
 static inline struct caseproto *
 caseproto_ref (const struct caseproto *proto_)
 {
-  struct caseproto *proto = (struct caseproto *) proto_;
+  struct caseproto *proto = CONST_CAST (struct caseproto *, proto_);
   proto->ref_cnt++;
   return proto;
 }