Searched refs:savettytype (Results 1 – 1 of 1) sorted by relevance
119 static char *savettytype; /* the synonyms of the first terminal */ variable534 savettytype = _savettytype; in initfirstterm()536 savettytype = malloc(length); in initfirstterm()537 if (savettytype == NULL) { in initfirstterm()543 savettytype = _savettytype; in initfirstterm()846 pr_heading((char *)0, savettytype); in dorelative()