Checking more return values (per static analyzer)

1 files changed, 1 insertions, 1 deletions

diff --git a/files.h b/files.h
index b78e77e..a739d00 100644
--- a/files.h
+++ b/files.h
@@ -13,7 +13,7 @@ typedef struct file_s {
     const char *filename;
     char *contents, **lines, *end;
     size_t nlines;
-    struct allocated_pat_s *pats;
+    /*@only@*/ struct allocated_pat_s *pats;
     unsigned int mmapped:1;
 } file_t;