chore: Move InternalResult into StandardLibrary(Internal)

aws · May 17, 2024 · 8978c28 · 8978c28
1 parent 93a4cd4
commit 8978c28
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/AwsCryptographyPrimitives/runtimes/java/src/main/java/Digest_Compile/ExternDigest.java b/AwsCryptographyPrimitives/runtimes/java/src/main/java/Digest_Compile/ExternDigest.java
@@ -1,7 +1,7 @@
 package Digest_Compile;
 
-import StandardLibraryInternal.InternalResult;
 import ExternDigest._ExternBase___default;
+import StandardLibraryInternal.InternalResult;
 import Wrappers_Compile.Result;
 import dafny.Array;
 import dafny.DafnySequence;

diff --git a/AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/ECDSA.java b/AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/ECDSA.java
@@ -2,9 +2,9 @@
 
 import static Signature.SignatureAlgorithm.signatureAlgorithm;
 
-import StandardLibraryInternal.InternalResult;
 import Digest_Compile.ExternDigest;
 import Random_Compile.ExternRandom;
+import StandardLibraryInternal.InternalResult;
 import Wrappers_Compile.Result;
 import dafny.Array;
 import dafny.DafnySequence;