Searched refs:l_subst (Results 1 – 1 of 1) sorted by relevance
3202 vecteur l_subst(l); in recursive_normal() local3203 iterateur it=l_subst.begin(),itend=l_subst.end(); in recursive_normal()3251 if (l!=l_subst) in recursive_normal()3252 e_copy=subst(e_copy,l,l_subst,false,contextptr); in recursive_normal()