diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-05 16:18:40 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-05 16:18:40 +0200 |
| commit | 1a59b19a615483ade6284e554c53f17afabb7287 (patch) | |
| tree | 52a31ca6594d3e67d1ab0a8aafc2cb4196c3ded2 /tools/Scanner/Parser.lean | |
| parent | 1f5491a5af7bd0f1ec4046994d6344886465cba5 (diff) | |
some cleanup
Diffstat (limited to 'tools/Scanner/Parser.lean')
| -rw-r--r-- | tools/Scanner/Parser.lean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Scanner/Parser.lean b/tools/Scanner/Parser.lean index 5ee867b..5d4e837 100644 --- a/tools/Scanner/Parser.lean +++ b/tools/Scanner/Parser.lean @@ -82,7 +82,7 @@ private def MessageType.ofString : String → Except String MessageType private def ArgumentType.ofString : String → Except String ArgumentType | "int" => .ok .int -| "uint" => .ok .uInt +| "uint" => .ok .uint | "fixed" => .ok .fixed | "string" => .ok .string | "array" => .ok .array |