From 92da08078a5459ca1089743eb58385e752bdb5fa Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Mon, 6 Apr 2026 07:19:48 +0200
Subject: fix generic new_ids

---
 lib/Wayland.lean | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/Wayland.lean')

diff --git a/lib/Wayland.lean b/lib/Wayland.lean
index c9a06fa..5f78211 100644
--- a/lib/Wayland.lean
+++ b/lib/Wayland.lean
@@ -4,3 +4,4 @@ import Wayland.Basic.PosixSignal
 import Wayland.Basic.Lens
 import Wayland.Display
 import Wayland.Protocols
+import Wayland.Helpers
-- 
cgit v1.3.1