From 2e68fdc97848104ab3381a416e1eb7cbf03b335e Mon Sep 17 00:00:00 2001
From: Lucas McDonald <lucasmcdonald3@gmail.com>
Date: Tue, 8 Oct 2024 16:24:08 -0700
Subject: [PATCH] m

---
 .../java/software/amazon/polymorph/utils/ModelUtils.java    | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/utils/ModelUtils.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/utils/ModelUtils.java
index feff25405..74068e168 100644
--- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/utils/ModelUtils.java
+++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/utils/ModelUtils.java
@@ -736,13 +736,15 @@ public static List<Shape> getTopologicallyOrderedOrphanedShapesForService(
 
     for (Shape shape : topologicalIndex.getOrderedShapes()) {
       if (orphanedShapes.contains(shape)
-      && shape.getId().getNamespace().equals(serviceShape.getId().getNamespace())) {
+      && shape.getId().getNamespace().equals(serviceShape.getId().getNamespace())
+      && !shape.isMemberShape()) {
         orderedShapes.add(shape);
       }
     }
     for (Shape shape : topologicalIndex.getRecursiveShapes()) {
       if (orphanedShapes.contains(shape)
-        && shape.getId().getNamespace().equals(serviceShape.getId().getNamespace())) {
+        && shape.getId().getNamespace().equals(serviceShape.getId().getNamespace())
+        && !shape.isMemberShape()) {
         orderedShapes.add(shape);
       }
     }