From 38ff9357c62826d304eb6fec3dcd51cd703b0dc1 Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Fri, 21 Mar 2014 18:31:15 -0700 Subject: [PATCH] save --- benchmark/cliffc-hashtable/cliffc_hashtable.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchmark/cliffc-hashtable/cliffc_hashtable.h b/benchmark/cliffc-hashtable/cliffc_hashtable.h index fb50583..23ba7ae 100644 --- 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) { -- 2.34.1