/* /usr/local/devel/postgres-4.2-devel/src/backend/executor/RCS/x_execstats.h,v 1.5 1994/02/07 11:37:21 aoki Exp */
extern void ResetTupleCount ARGS((void));
extern void DisplayTupleCount ARGS((FILE *statfp));
