From 09be9fb2701f0560aeb714f89fe0d1e750915ae0 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Fri, 3 Apr 2026 21:40:46 +0200
Subject: parse wayland protocols

---
 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 f3781ec..c9a06fa 100644
--- a/lib/Wayland.lean
+++ b/lib/Wayland.lean
@@ -3,3 +3,4 @@ import Wayland.Basic.Duration
 import Wayland.Basic.PosixSignal
 import Wayland.Basic.Lens
 import Wayland.Display
+import Wayland.Protocols
-- 
cgit v1.3.1