save

diff --git a/benchmark/cliffc-hashtable/cliffc_hashtable.h b/benchmark/cliffc-hashtable/cliffc_hashtable.h
index fb505834da85134b2a06ffa0c1922f004a93a134..23ba7aec46d3b6286b466acd2a12a00c71aab2ea 100644 (file)
--- a/benchmark/cliffc-hashtable/cliffc_hashtable.h
+++ b/benchmark/cliffc-hashtable/cliffc_hashtable.h
@@ -426,7 +426,7 @@ friend class CHM;
                @Action:
                        void *_Old_Val = spec_table_get(map, key);
                @Post_check:
-                       equals_val(_Old_Val, __RET__)
+                       __RET__ == NULL ? true : equals_val(_Old_Val, __RET__)
                @End
        */
        TypeV* get(TypeK *key) {