From 9d537c6a480bbb8835aaae5c8a5918004442c3c6 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Sat, 4 Apr 2026 00:06:40 +0200 Subject: referenced interfaces --- tools/Scanner/Protocol.lean | 1 + 1 file changed, 1 insertion(+) (limited to 'tools/Scanner/Protocol.lean') diff --git a/tools/Scanner/Protocol.lean b/tools/Scanner/Protocol.lean index 0ead630..c90ab56 100644 --- a/tools/Scanner/Protocol.lean +++ b/tools/Scanner/Protocol.lean @@ -164,6 +164,7 @@ structure InterfaceDesc where enums : Array EnumDesc requests : Array RequestDesc events : Array EventDesc + referencedInterfaces : Array InterfaceRef deriving Repr, BEq structure ProtocolDesc where -- cgit v1.3.1