Searched refs:pto_lbl (Results 1 – 1 of 1) sorted by relevance
495 Node pto_lbl = NodeManager::currentNM()->mkNode( kind::SINGLETON, s_atom[0] ); in check() local496 Assert( s_lbl==pto_lbl ); in check()