From bfe6c4cee8b5afcd4078af319ab6b96f6695408b Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 10 Apr 2026 12:34:02 +0200 Subject: update lean --- lib/Wayland/Protocols/Wayland/Requests.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Wayland/Protocols') diff --git a/lib/Wayland/Protocols/Wayland/Requests.lean b/lib/Wayland/Protocols/Wayland/Requests.lean index 2e275dd..f25082d 100644 --- a/lib/Wayland/Protocols/Wayland/Requests.lean +++ b/lib/Wayland/Protocols/Wayland/Requests.lean @@ -35,7 +35,7 @@ def WlRegistry.bind ω.sendConstructor do Marshallable.marshal .uint name ArgumentMarshaller.marshalString (.some ι) - ArgumentMarshaller.marshalUInt (inferInstanceAs (Interface ι)).version + ArgumentMarshaller.marshalUInt (inferInstance : Interface ι).version ArgumentMarshaller.marshalAnyObject .none return 0 -- cgit v1.3.1