Committing my cosmetic code changes and fix of the token problem in

[splint.git] / src / stateInfo.c

diff --git a/src/stateInfo.c b/src/stateInfo.c
index ffb2164ea50da9acbc013dd8bcad6080ad8dd90f..57bcdf6d60f8809b7bd52aa67c97d0d1e139ab9f 100644 (file)
--- a/src/stateInfo.c
+++ b/src/stateInfo.c
@@ -125,7 +125,7 @@ stateInfo_makeLoc (fileloc loc)
   return ret;
 }
 
-/*@only@*/ stateInfo
+/*@only@*/ /*@notnull@*/ stateInfo
 stateInfo_makeRefLoc (/*@exposed@*/ sRef ref, fileloc loc)
      /*@post:isnull result->previous@*/
 {