Cleaned up flags to generate manual help.

[splint.git] / lib / unixstrict.lcd

diff --git a/lib/unixstrict.lcd b/lib/unixstrict.lcd
index dc284c4de01c9b490a6cd112838d58667f43fd32..e1a3c2b93c5f67f8e0cd834197914e163c23e54a 100644 (file)
--- a/lib/unixstrict.lcd
+++ b/lib/unixstrict.lcd
@@ -1,6 +1,6 @@
 ;;; Splint Library  unixstrict.lcd
-;;Splint 3.0.0.20 --- 02 Jan 2002
-;;lib:173
+;;Splint 3.0.0.21 --- 05 Jan 2002
+;;lib:293
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39