From 3867c1d7d36fd1da8a58b8779decaf4ff01554a6 Mon Sep 17 00:00:00 2001
From: leitner <leitner>
Date: Fri, 25 Apr 2025 21:03:12 +0000
Subject: [PATCH] remove annotation that marked the cookie in io_setcookie as
 pointer

---
 io.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/io.h b/io.h
index 9a1d94a..4d0a11f 100644
--- a/io.h
+++ b/io.h
@@ -143,7 +143,6 @@ int io_fd_canwrite(int64 d);	/* use this for connected sockets (assumes socket i
 int io_fd_flags(int64 d,int flags);	/* can be used to tell io_fd to skip one syscall */
 
 /* sandboxing: calls no syscalls */
-att_write(2)
 void io_setcookie(int64 d,void* cookie);
 
 /* sandboxing: calls no syscalls */