Searched refs:def_name (Results 1 – 1 of 1) sorted by relevance
148 string def_name = pattern.substr(pos+1, (end-pos) - 1); in substitute_definition() local149 if (defs.find(def_name) == defs.end()) { in substitute_definition()151 + def_name + ") " + pattern); in substitute_definition()153 result += defs[def_name]; in substitute_definition()