From 54d62ad2f3eb72d57683780b55dad2a97b1e2dcb Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Wed, 1 Apr 2026 20:51:11 +0200
Subject: clean up demo

---
 lib/Wayland/Native.lean | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/Wayland/Native.lean')

diff --git a/lib/Wayland/Native.lean b/lib/Wayland/Native.lean
index dd138e4..f8d4c53 100644
--- a/lib/Wayland/Native.lean
+++ b/lib/Wayland/Native.lean
@@ -136,4 +136,7 @@ opaque Proxy.sendConstructor : (proxy : @& Proxy) → (opcode : UInt32) → (arg
 @[extern "waylean_proxy_listen"]
 opaque Proxy.listen : (proxy : @& Proxy) → (handler : UInt32 → ArgumentBuffer → EventLoop M × M) → IO Unit
 
+@[extern "waylean_proxy_keep"]
+opaque Proxy.keep : (proxy : @& Proxy) → IO Unit
+
 end Wayland.Native
-- 
cgit v1.3.1