X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/35e8712de8a20811e536e7506deb87e9492a710d..51bc6ecce8b6e9877dccd8bda2cf220b47e6929c:/test/Makefile.in?ds=sidebyside

diff --git a/test/Makefile.in b/test/Makefile.in
index 3984b50..930d2b5 100644
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -1476,7 +1476,7 @@ parentype:
 preds:
 	-$(SPLINTR) +hints preds.c -expect 6
 	-$(SPLINTRN) +hints preds.c -weak -expect 1
-	-$(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12
+	-$(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 10
 
 .PHONY: prefixes
 prefixes: