From e4e2cfb89477c348c9263c916a5ce8aedcf232fc Mon Sep 17 00:00:00 2001
From: Craig Disselkoen <cdiss@amazon.com>
Date: Tue, 26 Nov 2024 14:11:54 -0500
Subject: [PATCH] fix

Signed-off-by: Craig Disselkoen <cdiss@amazon.com>
---
 cedar-lean/CedarProto/ValidatorEntityType.lean | 1 -
 1 file changed, 1 deletion(-)

diff --git a/cedar-lean/CedarProto/ValidatorEntityType.lean b/cedar-lean/CedarProto/ValidatorEntityType.lean
index 9f727e3d..b54e5fb7 100644
--- 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