*** empty log message ***

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

diff --git a/src/Headers/sRef.h b/src/Headers/sRef.h
index fe0bad38189319dd341a7b64187e1e89bde16a58..5b21e32f5a28a510622907256f6d5b5a1d125d68 100644 (file)
--- a/src/Headers/sRef.h
+++ b/src/Headers/sRef.h
@@ -293,7 +293,7 @@ extern int sRef_lexLevel (sRef p_s) /*@*/ ;
 extern void sRef_setOrigAliasKind (sRef p_s, alkind p_kind);
 
 extern /*@exposed@*/ sRef 
-  sRef_fixBase (/*@returned@*/ sRef p_s, /*@returned@*/ sRef p_base)
+  sRef_fixBase (/*@returned@*/ sRef p_s, /*@returned@*/ sRef p_base) 
   /*@modifies p_s, p_base@*/ ;
 
 extern void sRef_showNotReallyDefined (sRef p_s) /*@modifies g_msgstream@*/ ;