Revert _None escaping

smithy-lang · Oct 10, 2024 · 7ed94bd · 7ed94bd
1 parent bc65cda
commit 7ed94bd
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/...degen/src/main/java/software/amazon/polymorph/smithyrust/generator/DafnyNameResolver.java b/...degen/src/main/java/software/amazon/polymorph/smithyrust/generator/DafnyNameResolver.java
@@ -3,9 +3,6 @@
 public class DafnyNameResolver {
 
   public static String escapeName(String name) {
-    if (name.equals("None")) {
-      return "_None";
-    }
     return name;
   }
 }