*** empty log message ***

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

diff --git a/src/Headers/sRef.h b/src/Headers/sRef.h
index 5b21e32f5a28a510622907256f6d5b5a1d125d68..af1fb8e9d70dcd92deac3388b8e4c2aa8333ffab 100644 (file)
--- a/src/Headers/sRef.h
+++ b/src/Headers/sRef.h
@@ -352,7 +352,7 @@ extern /*@dependent@*/ sRef sRef_makeSpecState (void) /*@*/ ;
 extern /*@dependent@*/ sRef sRef_makeGlobalMarker (void) /*@*/ ;
 extern /*@dependent@*/ sRef sRef_makeSystemState (void) /*@*/ ;
 
-extern /*@dependent@*/ /*@notnull@*/ sRef sRef_makeResult (void) /*@*/ ;
+extern /*@dependent@*/ /*@notnull@*/ sRef sRef_makeResult (ctype) /*@*/ ;
 extern /*@exposed@*/ sRef 
   sRef_fixResultType (/*@returned@*/ sRef p_s, ctype p_typ, uentry p_ue)
   /*@modifies p_s@*/;