*** empty log message ***

[splint.git] / test / null6.lcd

diff --git a/test/null6.lcd b/test/null6.lcd
index 107b9c5d4b52600f7d972e80d916699d47ac6d0a..19a4694570a50fbce4a3143f358ed0aa07179fd3 100644 (file)
--- a/test/null6.lcd
+++ b/test/null6.lcd
@@ -1,6 +1,6 @@
 ;;LCLint Dump: null6.lcd
 ;;LCLint 3.0b-alpha --- 20 June 2001
-;;lib:167
+;;lib:168
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39