]> andersk Git - splint.git/blobdiff - Makefile.in
Fixed bug in bounds checking code reported by Xiaolan Zhang.
[splint.git] / Makefile.in
index 70349f6f5dea82d36a77560083c6903509aacf17..1ec75b4e120cafec66d7a7e3bcabf9597ffc2421 100644 (file)
@@ -80,6 +80,7 @@ MV = @MV@
 OBJEXT = @OBJEXT@
 PACKAGE = @PACKAGE@
 RM = @RM@
+SED = @SED@
 VERSION = @VERSION@
 am__include = @am__include@
 am__quote = @am__quote@
This page took 0.033496 seconds and 4 git commands to generate.