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;
 16: extern FILE        *petsc_printfqueuefile;

 18: #endif