aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/proof
diff options
context:
space:
mode:
authorrsc <devnull@localhost>2005-01-11 17:43:53 +0000
committerrsc <devnull@localhost>2005-01-11 17:43:53 +0000
commitb8f742db850ffc99333a97ab54fc820c6de0fd98 (patch)
tree9096b9872c0e65a3f1f3cdd7b993c58411d20e5e /src/cmd/proof
parent530d00164177fd68e2aeb403e7b9be31823e3168 (diff)
downloadplan9port-b8f742db850ffc99333a97ab54fc820c6de0fd98.tar.gz
plan9port-b8f742db850ffc99333a97ab54fc820c6de0fd98.tar.bz2
plan9port-b8f742db850ffc99333a97ab54fc820c6de0fd98.zip
os x changes
Diffstat (limited to 'src/cmd/proof')
-rw-r--r--src/cmd/proof/proof.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cmd/proof/proof.h b/src/cmd/proof/proof.h
index edd34991..72d55083 100644
--- a/src/cmd/proof/proof.h
+++ b/src/cmd/proof/proof.h
@@ -10,6 +10,8 @@
#define ONES ~0
#define devname proof_devname
+#define getc proof_getc
+#define ungetc proof_ungetc
extern char devname[];
extern double mag;