X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fcaseproto.h;h=a8468ddeed3b5c5b1978e83897eb956d7ccd5bef;hb=0bda70f475aad77db5636ae0bca170513353c988;hp=0bc02812d18590aeb3ba4ca664445f8134d488bf;hpb=fe8dc2171009e90d2335f159d05f7e6660e24780;p=pspp

diff --git a/src/data/caseproto.h b/src/data/caseproto.h
index 0bc02812d1..a8468ddeed 100644
--- a/src/data/caseproto.h
+++ b/src/data/caseproto.h
@@ -80,8 +80,8 @@ struct pool;
 
 /* Creation and destruction. */
 struct caseproto *caseproto_create (void) MALLOC_LIKE;
-static inline struct caseproto *caseproto_ref (const struct caseproto *);
-struct caseproto *caseproto_ref_pool (const struct caseproto *, struct pool *);
+static inline struct caseproto *caseproto_ref (const struct caseproto *) WARN_UNUSED_RESULT;
+struct caseproto *caseproto_ref_pool (const struct caseproto *, struct pool *) WARN_UNUSED_RESULT;
 static inline void caseproto_unref (struct caseproto *);
 
 /* Inspecting stored widths.  */