From 350d3ca21e6a2d215016c84afa07ccb75abd8a6e Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 5 Jun 2026 17:04:51 +0200 Subject: wip tinyrwm in 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 dc4a87f..2fa4fdd 100644 --- a/tools/Scanner/Generator.lean +++ b/tools/Scanner/Generator.lean @@ -112,7 +112,7 @@ private def emitEnumDefinitions (protocol : ProtocolDesc) : Generator Unit := do if enum.bitfield then emitLine s!"structure {iface.name.pascalCase}.{enum.name.pascalCase} where" for entry in enum.entries do - emitLine s!" {entry.name.camelCase} : Bool" + emitLine s!" {entry.name.camelCase} : Bool := false" else emitLine s!"inductive {iface.name.pascalCase}.{enum.name.pascalCase} where" for entry in enum.entries do -- cgit v1.3.1