upd

IntersectMBO · Dec 3, 2021 · 2d7b0d0 · 2d7b0d0
1 parent 29dd199
commit 2d7b0d0
Show file tree

Hide file tree

Showing 5 changed files with 39,813 additions and 38,256 deletions.
diff --git a/plutus-use-cases/test/Spec/future.pir b/plutus-use-cases/test/Spec/future.pir
@@ -462,7 +462,8 @@
                 )
               )
               (vardecl
-                MustSatisfyAnyOf (fun [ List TxConstraint ] TxConstraint)
+                MustSatisfyAnyOf
+                (fun [ List [ List TxConstraint ] ] TxConstraint)
               )
               (vardecl
                 MustSpendAtLeast