diff options
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 |