Fixed bug preventing +showconstraintlocation from being the default.

[splint.git] / test / null6.lcd

diff --git a/test/null6.lcd b/test/null6.lcd
index cb73b87cd3df51c2a255c3940853207992ceddfb..76befd8f6f8c7422eaf40f253f74111a39204cf4 100644 (file)
--- a/test/null6.lcd
+++ b/test/null6.lcd
@@ -1,6 +1,6 @@
 ;;; Splint Library  null6.lcd
 ;;Splint 3.0.1.4 --- 19 Jan 2002
-;;lib:298
+;;lib:299
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39