Fix issue

olivier-aws · Jan 7, 2025 · 8b8382d · 8b8382d
1 parent c217fb5
commit 8b8382d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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) {