*** empty log message ***

[splint.git] / test / metastate / sockets.mts

diff --git a/test/metastate/sockets.mts b/test/metastate/sockets.mts
index 7e4c2cec267f80ee0c2635a0f0a38d59a7eee0d0..820021d21515c5d1a7d4ae5a1b2e27cc8bd9d8c3 100644 (file)
--- a/test/metastate/sockets.mts
+++ b/test/metastate/sockets.mts
@@ -1,5 +1,5 @@
 /*
-** A global state is not assosicated with a reference, but rather the
+** A global attribute is not assosicated with a reference, but rather the
 ** global state of an execution.
 **
 ** Annotations are used in pre and post conditions (requires/ensures
@@ -7,8 +7,7 @@
 **
 */
 
-
-global state sockets
+global attribute sockets
    oneof uninitialized, initialized
    annotations
       sockets_initialized clause ==> initialized