5:  #include <petscsys.h>
  6:  #include <petsc/private/petscimpl.h>

  8: /* ----------------------------------------------------------------------- */
  9: typedef struct _PrintfQueue *PrintfQueue;
 10: struct _PrintfQueue {
 11:   char        *string;
 12:   int         size;
 13:   PrintfQueue next;
 14: };
 15: extern PrintfQueue petsc_printfqueue,petsc_printfqueuebase;
 16: extern int         petsc_printfqueuelength;

 18: #endif