aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/proof
diff options
context:
space:
mode:
authorrsc <devnull@localhost>2005-08-11 17:33:43 +0000
committerrsc <devnull@localhost>2005-08-11 17:33:43 +0000
commitbcac59d81b63c352a9073104e7e63838e117a877 (patch)
treef8a3ffb635c9d2209d42baf19c85c73eaa2d90db /src/cmd/proof
parent01d1f4cb4b791eca0bc79bc00188bf3c688290e6 (diff)
downloadplan9port-bcac59d81b63c352a9073104e7e63838e117a877.tar.gz
plan9port-bcac59d81b63c352a9073104e7e63838e117a877.tar.bz2
plan9port-bcac59d81b63c352a9073104e7e63838e117a877.zip
silence various warnings
Diffstat (limited to 'src/cmd/proof')
-rw-r--r--src/cmd/proof/screen.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/cmd/proof/screen.c b/src/cmd/proof/screen.c
index dccfe01d..a9a7ef1f 100644
--- a/src/cmd/proof/screen.c
+++ b/src/cmd/proof/screen.c
@@ -88,7 +88,6 @@ getcmdstr(void)
}
}
}
- return nil;
}
static char *