From: drl7x <drl7x>
Date: Fri, 28 Feb 2003 09:38:58 +0000 (+0000)
Subject: Updated the manual to reflect additions to the bounds checking code.
X-Git-Tag: splint-3_1_0~57
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/c8d3751193f993afb866da33680140eb064759f0

Updated the manual to reflect additions to the bounds checking code.
---

diff --git a/doc/manual.doc b/doc/manual.doc
index 3f965cd..a2e05f1 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ