Remove debug code

olivier-aws · Jan 7, 2025 · c217fb5 · c217fb5
1 parent ffd7b41
commit c217fb5
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/Source/DafnyCore/Backends/CSharp/CsharpCodeGenerator.cs b/Source/DafnyCore/Backends/CSharp/CsharpCodeGenerator.cs
@@ -274,8 +274,6 @@ private string dataTypeName(DatatypeDecl dt) {
         var moduleName = IdProtectModule(dt.EnclosingModuleDefinition.Name);
         if (moduleName == protectedName) {
           return $"_{protectedName}";
-        } else {
-          return $"{moduleName}_{protectedName}";
         }
       }
       return protectedName;