*** empty log message ***

[splint.git] / test / metastate / Makefile

diff --git a/test/metastate/Makefile b/test/metastate/Makefile
index f746e0df8dd267f41983a2aafecbd04303d93334..1922a895775115751cd54da4d09ab090ee5e54d6 100644 (file)
--- a/test/metastate/Makefile
+++ b/test/metastate/Makefile
@@ -9,7 +9,7 @@ file:
        ${LCLINT} -mts file file2.c -varuse -fcnuse -expect 2
        ${LCLINT} -mts file file3.c -varuse -fcnuse -expect 2
        ${LCLINT} -mts file file4.c -varuse -fcnuse -exportlocal -expect 1 
-       ${LCLINT} -mts file file5.c -varuse -fcnuse -exportlocal -expect 5
+       ${LCLINT} -mts file file5.c -varuse -fcnuse -exportlocal -expect 4
        ${LCLINT} -mts file file6.c -varuse -fcnuse -exportlocal -expect 2
        ${LCLINT} -mts file filebad.c -expect 3