1 files changed, 1 insertions, 1 deletions
diff --git a/files.h b/files.h
index a739d00..b78e77e 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;
-    /*@only@*/ struct allocated_pat_s *pats;
+    struct allocated_pat_s *pats;
     unsigned int mmapped:1;
 } file_t;