X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/990ec8680b4718e26f8774a8f2ccff44fb97b3c5..f6753ca7324b8b367b49a83666614bafaf62d9df:/lib/filerw.mts

diff --git a/lib/filerw.mts b/lib/filerw.mts
index fd1d093..12b1e1b 100644
--- a/lib/filerw.mts
+++ b/lib/filerw.mts
@@ -1,4 +1,4 @@
-state filerw
+attribute filerw
    context reference FILE *
    oneof rw_none, rw_read, rw_write, rw_either
    annotations