aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/proof
diff options
context:
space:
mode:
authorrsc <devnull@localhost>2005-01-07 17:20:02 +0000
committerrsc <devnull@localhost>2005-01-07 17:20:02 +0000
commit60ee9140427f2b5e3d41a834cc48996c040a69bc (patch)
tree6ea891f5c4a434855ff1729c0a17af51b39e17b7 /src/cmd/proof
parente45084490f79169a95eda5c6b8efa8814c5f7f79 (diff)
downloadplan9port-60ee9140427f2b5e3d41a834cc48996c040a69bc.tar.gz
plan9port-60ee9140427f2b5e3d41a834cc48996c040a69bc.tar.bz2
plan9port-60ee9140427f2b5e3d41a834cc48996c040a69bc.zip
stupid FreeBSD name conflict
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 73f39b8c..edd34991 100644
--- a/src/cmd/proof/proof.h
+++ b/src/cmd/proof/proof.h
@@ -9,6 +9,8 @@
#define ONES ~0
+#define devname proof_devname
+
extern char devname[];
extern double mag;
extern int nview;