Searched refs:LTL (Results 1 – 1 of 1) sorted by relevance
65 char LTL[] = "Label too long: %s"; variable291 comperr(LTL); in fcomp()378 comperr(LTL); in fcomp()