Fixed problem with resetting null state after error for constants.

[splint.git] / src / Headers / sRef.h

diff --git a/src/Headers/sRef.h b/src/Headers/sRef.h
index d21416b96d093f2041627defbb4c59b0f81b8836..25eee4d97c897d10262f3c50da8a8696003d0d26 100644 (file)
--- a/src/Headers/sRef.h
+++ b/src/Headers/sRef.h
@@ -702,7 +702,7 @@ sRef_aliasSetCompleteAlkParam (void (p_predf) (sRef, alkind, fileloc), sRef p_s,
      /*@modifies p_s@*/ ;
 
 # ifdef DEBUGSPLINT
-extern void sRef_checkCompletelyReasonable (sRef p_s) /*@*/ ;
+extern void sRef_checkCompletelyReasonable (sRef p_s) /*@modifies g_errorstream@*/ ;
 # endif
 
 # else