fix(Java): StormCMC interupt returns Opaque

aws · Nov 14, 2024 · 3915c82 · 3915c82
1 parent f4db380
commit 3915c82
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...in/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java b/...in/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java
@@ -111,8 +111,8 @@ > GetCacheEntry_k(
           Thread.sleep(wrapped.sleepMilli);
         } catch (Exception e) {
           return CreateGetCacheEntryFailure(
-            software.amazon.cryptography.materialproviders.internaldafny.types.Error.create_AwsCryptographicMaterialProvidersException(
-              dafny.DafnySequence.asString("Thread Interrupted")
+            software.amazon.cryptography.materialproviders.internaldafny.types.Error.create_Opaque(
+              e
             )
           );
         }