minor fix

diff --git a/benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h b/benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h
index c02c0a3e2c5bab52ee53b92341a52c22069a4b2a..a52d238d22c6ca7de23941cc3bf2e5c14af6c4da 100644 (file)
--- a/benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h
+++ b/benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h
@@ -448,10 +448,10 @@ friend class CHM;
                        COND_RemoveIfMatchSucc :: __RET__ == true
                @ID: __sequential.getKeyTag(key)
                @Action:
                        COND_RemoveIfMatchSucc :: __RET__ == true
                @ID: __sequential.getKeyTag(key)
                @Action:

-                       if (__COND_SAY__)
+                       if (__COND_SAT__)

                                __sequential.map.put(key, NULL);
                @Post_check:
                                __sequential.map.put(key, NULL);
                @Post_check:

-                       __COND_SAY__ ? __RET__ : !__RET__
+                       __COND_SAT__ ? __RET__ : !__RET__

                @End
        */
        bool remove(TypeK& key, TypeV& val) {
                @End
        */
        bool remove(TypeK& key, TypeV& val) {


@@ -487,10 +487,10 @@ friend class CHM;
                        COND_ReplaceIfMatchSucc :: __RET__ == true
                @ID: __sequential.getKeyTag(key)
                @Action:
                        COND_ReplaceIfMatchSucc :: __RET__ == true
                @ID: __sequential.getKeyTag(key)
                @Action:

-                       if (__COND_SAY__)
+                       if (__COND_SAT__)

                                __sequential.map.put(key, &newval);
                @Post_check:
                                __sequential.map.put(key, &newval);
                @Post_check:

-                       __COND_SAY__ ? __RET__ : !__RET__
+                       __COND_SAT__ ? __RET__ : !__RET__

                @End
        */
        bool replace(TypeK& key, TypeV& oldval, TypeV& newval) {
                @End
        */
        bool replace(TypeK& key, TypeV& oldval, TypeV& newval) {