X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=junction%2Fextra%2Fimpl%2FMapAdapter_CDS_Michael.h;h=8820b79e5a49cc5f5cb6e7941e65971782dfe70e;hb=ce08f11c83396f629f998fe9e05ff1628f1e2677;hp=bd6f1cdc0c00df82bfb2e422eb9c1512820b1b36;hpb=67553e4e9f491e31e92a0ccd2967eb34b0c6f206;p=junction.git

diff --git a/junction/extra/impl/MapAdapter_CDS_Michael.h b/junction/extra/impl/MapAdapter_CDS_Michael.h
index bd6f1cd..8820b79 100644
--- a/junction/extra/impl/MapAdapter_CDS_Michael.h
+++ b/junction/extra/impl/MapAdapter_CDS_Michael.h
@@ -86,7 +86,7 @@ public:
         Map(ureg capacity) : m_map(capacity, 1) {
         }
 
-        void set(u32 key, void* value) {
+        void assign(u32 key, void* value) {
             m_map.insert(key, value);
         }