X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fcase.h;h=4b20d477d6a2b66b1e6cf98a99ed820dc547e3f4;hb=cd388a78240706bfe62d3b99d3362942ce8fd925;hp=1f5e192f3d748ec0050f3d00c5f6006b156434e7;hpb=81579d9e9f994fb2908f50af41c3eb033d216e58;p=pspp

diff --git a/src/data/case.h b/src/data/case.h
index 1f5e192f3d..4b20d477d6 100644
--- a/src/data/case.h
+++ b/src/data/case.h
@@ -138,7 +138,7 @@ case_unshare (struct ccase *c)
 static inline void
 case_unref (struct ccase *c)
 {
-  if (c != NULL && !--c->ref_cnt)
+  if (c != NULL && --c->ref_cnt == 0)
     case_unref__ (c);
 }