Searched refs:savettytype (Results 1 – 1 of 1) sorted by relevance
119 static char *savettytype; /* the synonyms of the first terminal */ variable539 savettytype = _savettytype; in initfirstterm()541 savettytype = malloc(length); in initfirstterm()542 if (savettytype == NULL) { in initfirstterm()548 savettytype = _savettytype; in initfirstterm()876 pr_heading((char *)0, savettytype); in dorelative()