From bfe6c4cee8b5afcd4078af319ab6b96f6695408b Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 10 Apr 2026 12:34:02 +0200 Subject: update lean --- tools/Scanner/Generator.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/Scanner/Generator.lean') diff --git a/tools/Scanner/Generator.lean b/tools/Scanner/Generator.lean index 36c1212..dc4a87f 100644 --- a/tools/Scanner/Generator.lean +++ b/tools/Scanner/Generator.lean @@ -289,7 +289,7 @@ private def emitRequests (protocol : ProtocolDesc) : Generator Unit := do emitLine s!" ArgumentMarshaller.marshalAnyObject .none" | .newID .none => emitLine s!" ArgumentMarshaller.marshalString (.some ι)" - emitLine s!" ArgumentMarshaller.marshalUInt (inferInstanceAs (Interface ι)).version" + emitLine s!" ArgumentMarshaller.marshalUInt (inferInstance : Interface ι).version" emitLine s!" ArgumentMarshaller.marshalAnyObject .none" | _ => emitLine s!" Marshallable.marshal {marshalType arg.type} {arg.name.camelCase}" -- cgit v1.3.1