5: #include <petscsys.h> /*I "petscsys.h" I*/
7: /* ----------------------------------------------------------------------- */
8: typedef struct _PrintfQueue *PrintfQueue;
9: struct _PrintfQueue {
10: char *string;
11: int size;
12: PrintfQueue next;
13: };
14: extern PrintfQueue petsc_printfqueue,petsc_printfqueuebase;
15: extern int petsc_printfqueuelength;
17: #endif