*** empty log message ***

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

diff --git a/src/Headers/metaStateExpression.h b/src/Headers/metaStateExpression.h
index 231915a1f8461ed5aa2d7425ef62781d2b8176d3..ae30ead913c0c5fa93cdac3ca53fb87af6db2a17 100644 (file)
--- a/src/Headers/metaStateExpression.h
+++ b/src/Headers/metaStateExpression.h
@@ -20,6 +20,9 @@ metaStateExpression_create (/*@only@*/ metaStateSpecifier) ;
 extern /*@notnull@*/ metaStateExpression
 metaStateExpression_createMerge (/*@only@*/ metaStateSpecifier, /*@only@*/ metaStateExpression) ;
 
+extern /*@observer@*/ metaStateSpecifier
+metaStateExpression_getSpecifier (metaStateExpression) /*@*/ ;
+
 extern metaStateExpression metaStateExpression_copy (metaStateExpression) ;
 
 extern cstring metaStateExpression_unparse (metaStateExpression) /*@*/ ;