Missing file

smithy-lang · Oct 23, 2023 · e841a8a · e841a8a
1 parent 6ba962d
commit e841a8a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...a/src/test/java/software/simple/extendable/resources/internaldafny/wrapped/__default.java b/...a/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);
     }
 
     /**