Searched refs:sc_error (Results 1 – 1 of 1) sorted by relevance
76 function sc_error() { function743 if (!sc_isPair(l)) sc_error("sc_lastPair: pair expected");3093 sc_error( "format: illegal ~"3760 (sc_error("ADD-LEMMA did not like term: ", term));