*** empty log message ***

[splint.git] / test / sharing1.c

diff --git a/test/sharing1.c b/test/sharing1.c
index 703533bdf19c1a4eb1dec6e5ff68b6ea8038f63f..68f9a8749470a89bc78a71e5ab103738e5082429 100644 (file)
--- a/test/sharing1.c
+++ b/test/sharing1.c
@@ -22,7 +22,7 @@ int f2(/*@temp@*/ int *x, /*@only@*/ int *y)
 void f3(/*@only@*/ int *x)
 {
   globshared1 = x; /* 4. bad shared globshared1 <- only x */
-} /* 5. Only storage x not released before return */
+} /* 5. only not released */
 
 void f4(/*@only@*/ int *x)
 {