From: Peizhao Ou <peizhaoo@uci.edu>
Date: Sat, 22 Mar 2014 01:31:15 +0000 (-0700)
Subject: save
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=38ff9357c62826d304eb6fec3dcd51cd703b0dc1;p=cdsspec-compiler.git

save
---

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) {