We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent edecf34 commit 8238d2eCopy full SHA for 8238d2e
1 file changed
plutus-metatheory/plutus-metatheory.cabal
@@ -374,6 +374,7 @@ library
374
MAlonzo.Code.VerifiedCompilation.UCaseReduce
375
MAlonzo.Code.VerifiedCompilation.UCSE
376
MAlonzo.Code.VerifiedCompilation.UFloatDelay
377
+ MAlonzo.Code.VerifiedCompilation.UForceCaseDelay
378
MAlonzo.Code.VerifiedCompilation.UForceDelay
379
MAlonzo.Code.VerifiedCompilation.UInline
380
MAlonzo.Code.VerifiedCompilation.UntypedTranslation
0 commit comments