From 4119fa8c0c59bb39f9aeba7f479067fd834c4e20 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Fri, 3 Apr 2026 23:38:07 +0200
Subject: resolve types in protocols

---
 tools/Scanner/Parser.lean | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tools/Scanner/Parser.lean')

diff --git a/tools/Scanner/Parser.lean b/tools/Scanner/Parser.lean
index 3bdb7b6..630b3fc 100644
--- a/tools/Scanner/Parser.lean
+++ b/tools/Scanner/Parser.lean
@@ -68,6 +68,8 @@ open Lean
 
 namespace WaylandScanner
 
+open Raw
+
 private def MessageType.ofString : String → Except String MessageType
 | "destructor" => .ok .destructor
 | s => .error s!"Expected \"destructor\", but got {s}"
-- 
cgit v1.3.1