diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/Scanner/Generator.lean | 2 |
1 files changed, 1 insertions, 1 deletions
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 |