From 1a59b19a615483ade6284e554c53f17afabb7287 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Sun, 5 Apr 2026 16:18:40 +0200 Subject: some cleanup --- tools/Scanner/Parser.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/Scanner/Parser.lean') 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 -- cgit v1.3.1