*** empty log message ***

[splint.git] / src / stateInfo.c

diff --git a/src/stateInfo.c b/src/stateInfo.c
index d0b9a2fda7d47566d7c2f633cb9d738fc387cba7..06542e59847e7a815b189273da2a9ed55ec998b4 100644 (file)
--- a/src/stateInfo.c
+++ b/src/stateInfo.c
@@ -111,6 +111,12 @@ void stateInfo_free (/*@only@*/ stateInfo a)
     }
 }
 
+/*@only@*/ /*@notnull@*/ stateInfo
+stateInfo_currentLoc (void)
+{
+  return stateInfo_makeLoc (g_currentloc);
+}
+
 /*@only@*/ /*@notnull@*/ stateInfo
 stateInfo_makeLoc (fileloc loc)
 {