From 8b8382dfeb680bc388fb237fc5e4440ef24c25ab Mon Sep 17 00:00:00 2001
From: Olivier Bouissou <obouisso@amazon.com>
Date: Tue, 7 Jan 2025 16:26:07 -0500
Subject: [PATCH] Fix issue

---
 Source/DafnyCore/Backends/CSharp/CsharpCodeGenerator.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/DafnyCore/Backends/CSharp/CsharpCodeGenerator.cs b/Source/DafnyCore/Backends/CSharp/CsharpCodeGenerator.cs
index b9df5f79c1..efc6ef120c 100644
--- a/Source/DafnyCore/Backends/CSharp/CsharpCodeGenerator.cs
+++ b/Source/DafnyCore/Backends/CSharp/CsharpCodeGenerator.cs
@@ -269,7 +269,7 @@ protected override ConcreteSyntaxTree CreateStaticMain(IClassWriter cw, string a
     /// Compute the name of the class to use to translate a data-type
     /// </summary>
     private string dataTypeName(DatatypeDecl dt) {
-      var protectedName = IdProtect(dt.Name);
+      var protectedName = IdName(dt);
       if (dt.EnclosingModuleDefinition is not null) {
         var moduleName = IdProtectModule(dt.EnclosingModuleDefinition.Name);
         if (moduleName == protectedName) {