Searched refs:curr_stream_guard (Results 1 – 1 of 1) sorted by relevance
1006 Node curr_stream_guard = nm->mkSkolem("G_Stream", nm->booleanType()); in mkLiteral() local1007 return curr_stream_guard; in mkLiteral()