From 658b74715751cb4b52b2a968325ece9a62a29fc3 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Sun, 8 Mar 2026 17:27:51 +0100
Subject: display monad

---
 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 16f5c4c..8dd49c8 100644
--- a/lib/Wayland.lean
+++ b/lib/Wayland.lean
@@ -1 +1,2 @@
 import Wayland.Native
+import Wayland.Display
-- 
cgit v1.3.1