- id_tag_t getKeyTag(TypeK *key) {
- if (spec_table_contains(id_map, key)) {
- id_tag_t *cur_tag = MODEL_MALLOC(sizeof(id_tag_t));
- *cur_tag = current(tag);
- spec_table_put(id_map, key, cur_tag);
+ call_id_t getKeyTag(TypeK *key) {
+ if (!spec_table_contains(id_map, key)) {
+ call_id_t cur_id = current(tag);
+ spec_table_put(id_map, key, (void*) cur_id);