From e841a8a81fc4aeb5fced7d262ff6031c0b22b85b Mon Sep 17 00:00:00 2001
From: Robin Salkeld <salkeldr@amazon.com>
Date: Mon, 23 Oct 2023 15:14:51 -0700
Subject: [PATCH] Missing file

---
 .../extendable/resources/internaldafny/wrapped/__default.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/TestModels/Extendable/runtimes/java/src/test/java/software/simple/extendable/resources/internaldafny/wrapped/__default.java b/TestModels/Extendable/runtimes/java/src/test/java/software/simple/extendable/resources/internaldafny/wrapped/__default.java
index 43c0d85f46..c56f6b6162 100644
--- a/TestModels/Extendable/runtimes/java/src/test/java/software/simple/extendable/resources/internaldafny/wrapped/__default.java
+++ b/TestModels/Extendable/runtimes/java/src/test/java/software/simple/extendable/resources/internaldafny/wrapped/__default.java
@@ -22,7 +22,7 @@ public static Result<ISimpleExtendableResourcesClient, Error> WrappedSimpleExten
         simple.extendable.resources.model.SimpleExtendableResourcesConfig wrappedConfig = ToNative.SimpleExtendableResourcesConfig(config);
         simple.extendable.resources.SimpleExtendableResources impl = SimpleExtendableResources.builder().SimpleExtendableResourcesConfig(wrappedConfig).build();
         TestSimpleExtendableResources wrappedClient = TestSimpleExtendableResources.builder().impl(impl).build();
-        return Result.create_Success(wrappedClient);
+        return Result.create_Success(dafny.TypeDescriptor.reference(ISimpleExtendableResourcesClient.class), Error._typeDescriptor(), wrappedClient);
     }
 
     /**