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