Searched refs:Presource (Results 1 – 1 of 1) sorted by relevance
235 typedef resource *Presource; // Work around g++ bug. typedef246 Presource *head = new Presource[nranks + 1]; in document_setup()247 Presource **tail = new Presource *[nranks + 1]; in document_setup()