5: #include <petscsys.h>             /*I    "petscsys.h"   I*/
  6: #include <stdarg.h>
  7: #if defined(PETSC_HAVE_STDLIB_H)
  8: #include <stdlib.h>
  9: #endif


 12: /* ----------------------------------------------------------------------- */
 13: typedef struct _PrintfQueue *PrintfQueue;
 14: struct _PrintfQueue {
 15:   char       *string;
 16:   int         size;
 17:   PrintfQueue next;
 18: };
 19: extern PrintfQueue petsc_printfqueue,petsc_printfqueuebase;
 20: extern int         petsc_printfqueuelength;
 21: extern FILE        *petsc_printfqueuefile;

 23: #endif