add import time

smithy-lang · Oct 8, 2024 · d15373f · d15373f
1 parent 61531b8
commit d15373f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/...ava/software/amazon/polymorph/smithygo/awssdk/shapevisitor/AwsSdkToDafnyShapeVisitor.java b/...ava/software/amazon/polymorph/smithygo/awssdk/shapevisitor/AwsSdkToDafnyShapeVisitor.java
@@ -635,6 +635,7 @@ public String unionShape(UnionShape shape) {
 
   @Override
   public String timestampShape(TimestampShape shape) {
+    writer.addImport("time");
     if (this.isOptional) {
       return "Wrappers.Companion_Option_.Create_None_()";
     }

diff --git a/...ftware/amazon/polymorph/smithygo/localservice/shapevisitor/SmithyToDafnyShapeVisitor.java b/...ftware/amazon/polymorph/smithygo/localservice/shapevisitor/SmithyToDafnyShapeVisitor.java
@@ -706,6 +706,7 @@ public String unionShape(UnionShape shape) {
 
   @Override
   public String timestampShape(TimestampShape shape) {
+    writer.addImport("time");
     return "Wrappers.Companion_Option_.Create_None_()";
   }
 }