diff options
author | Steve Slaven <bpk@hoopajoo.net> | 2023-01-24 06:09:35 (GMT) |
---|---|---|
committer | Steve Slaven <bpk@hoopajoo.net> | 2023-01-24 06:09:35 (GMT) |
commit | 76f433d408da25e3291c4f4d47f8e60428a3e2e6 (patch) | |
tree | ebbb688a90313a59788d136b868d7f3b77ec228a /src/prove.h | |
parent | 57cc8e95ac7f96ff6eae17b46edc60b01f2d0e0a (diff) | |
download | powwow-76f433d408da25e3291c4f4d47f8e60428a3e2e6.zip powwow-76f433d408da25e3291c4f4d47f8e60428a3e2e6.tar.gz powwow-76f433d408da25e3291c4f4d47f8e60428a3e2e6.tar.bz2 |
add --prove
Diffstat (limited to 'src/prove.h')
-rw-r--r-- | src/prove.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/prove.h b/src/prove.h new file mode 100644 index 0000000..36e3c41 --- /dev/null +++ b/src/prove.h @@ -0,0 +1,12 @@ +#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_ */ + |