Pushed back constraintResolve.c to the previous version.

[splint.git] / test / ansireserved.c

diff --git a/test/ansireserved.c b/test/ansireserved.c
index de4a15e18abb7a4f0d3dca1f62ff9d8b34ae69ae..d4815f00133338537cb1b940893d2875da86260e 100644 (file)
--- a/test/ansireserved.c
+++ b/test/ansireserved.c
@@ -13,7 +13,7 @@ int isaFish (void)
   /*@unused@*/ int powl;
   /*@unused@*/ float mem; /* okay */
   /*@unused@*/ float memory;
-  /*@unused@*/ int wctomb;
+  /*@unused@*/ int wctomb; /* okay as local */
 
   return 3;
 }