X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fsparse-xarray.h;h=3b3de958b96e1f4d2732241c6fcbec119dc32aa9;hb=c8765cd7639e64d5dcd8f494aee23babb3b3f179;hp=15ba49f60c8dc9d555c4f5f477d2ad803f83bc3a;hpb=bd17d2af982332ee1791998361b1ac6731fe14fa;p=pspp

diff --git a/src/libpspp/sparse-xarray.h b/src/libpspp/sparse-xarray.h
index 15ba49f60c..3b3de958b9 100644
--- a/src/libpspp/sparse-xarray.h
+++ b/src/libpspp/sparse-xarray.h
@@ -41,6 +41,7 @@
 #ifndef LIBPSPP_SPARSE_XARRAY_H
 #define LIBPSPP_SPARSE_XARRAY_H 1
 
+#include "libpspp/compiler.h"
 #include <stddef.h>
 #include <stdbool.h>
 
@@ -67,6 +68,6 @@ bool sparse_xarray_copy (const struct sparse_xarray *src,
 
 /* For testing purposes only. */
 unsigned int sparse_xarray_model_checker_hash (const struct sparse_xarray *,
-                                               unsigned int basis);
+                                               unsigned int basis) WARN_UNUSED_RESULT;
 
 #endif /* libpspp/sparse-libpspp.h */