X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/2a03c445c60681d74656f13a8101127cb7436bbc..6970c11be2c0e175abf98c906a87115836e4f55f:/src/Headers/context.h

diff --git a/src/Headers/context.h b/src/Headers/context.h
index 29e4cf7..1f64901 100644
--- a/src/Headers/context.h
+++ b/src/Headers/context.h
@@ -325,10 +325,10 @@ extern void context_addAnnotation (/*@only@*/ annotationInfo)
 extern void context_addMetaState (/*@only@*/ cstring, /*@only@*/ metaStateInfo)
      /*@modifies internalState@*/ ;
 
-extern valueTable context_createValueTable (sRef p_s)
+extern valueTable context_createValueTable (sRef p_s, /*@only@*/ stateInfo p_sinfo)
      /*@globals internalState@*/ ;
 
-extern valueTable context_createGlobalMarkerValueTable (void)
+extern valueTable context_createGlobalMarkerValueTable (/*@only@*/ stateInfo p_sinfo)
      /*@globals internalState@*/ ;
 
 extern int context_getBugsLimit (void) /*@*/ ;