Fixed bug in bounds checking code reported by Xiaolan Zhang.

[splint.git] / doc / Makefile.in

diff --git a/doc/Makefile.in b/doc/Makefile.in
index ded8480a5ae556363fec96e74fefd32678ae6d8c..61433fa6da6c42f8af75f8a574d05ae0d51a96f4 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -80,6 +80,7 @@ MV = @MV@
 OBJEXT = @OBJEXT@
 PACKAGE = @PACKAGE@
 RM = @RM@
+SED = @SED@
 VERSION = @VERSION@
 am__include = @am__include@
 am__quote = @am__quote@