os x changes

This commit is contained in:
rsc 2005-01-11 17:43:53 +00:00
parent 530d001641
commit b8f742db85
18 changed files with 92 additions and 44 deletions

View file

@ -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;