diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithydotnet/AwsSdkDotNetNameResolver.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithydotnet/AwsSdkDotNetNameResolver.java
index f85a88bd7..3dac649bb 100644
--- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithydotnet/AwsSdkDotNetNameResolver.java
+++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithydotnet/AwsSdkDotNetNameResolver.java
@@ -49,9 +49,9 @@ private boolean isGeneratedInSdk(final ShapeId shapeId) {
   protected String baseTypeForEnum(final EnumShape enumShape) {
     if (isGeneratedInSdk(enumShape.getId())) {
       return "%s.%s".formatted(
-        namespaceForService(),
-        classForEnum(enumShape.getId())
-      );
+          namespaceForService(),
+          classForEnum(enumShape.getId())
+        );
     }
     return super.baseTypeForEnum(enumShape);
   }