#ifndef _PROVE_H_
#define _PROVE_H_

void prove(void);

#ifdef ENABLE_PROVE
void prove_save_tty_output(const char *s);
int is_proving();
#endif

#endif /* _PROVE_H_ */