fix

Signed-off-by: Craig Disselkoen <[email protected]>
cedar-policy · Nov 26, 2024 · e4e2cfb · e4e2cfb
1 parent 7778b90
commit e4e2cfb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/cedar-lean/CedarProto/ValidatorEntityType.lean b/cedar-lean/CedarProto/ValidatorEntityType.lean
@@ -59,7 +59,6 @@ def merge (x y : TagMessage) : TagMessage :=
   }
 
 instance : Message TagMessage where
-  name := "TagMessage"
   parseField := parseField
   merge := merge