save

diff --git a/benchmark/cliffc-hashtable/cliffc_hashtable.h b/benchmark/cliffc-hashtable/cliffc_hashtable.h
index fb50583..23ba7ae 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) {