Fixed line numbering in faq.html

[splint.git] / lib / filerw.mts

diff --git a/lib/filerw.mts b/lib/filerw.mts
index fd1d093fa690f5abfb49fbddb5a7241fe9da88bd..12b1e1b93ab3062a10ab0e5c8586416070b1208e 100644 (file)
--- 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