Fix another semantic conflict (#5193)

IntersectMBO · Mar 3, 2023 · bb6e4ff · bb6e4ff
1 parent 55d2de0
commit bb6e4ff
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/plutus-benchmark/lists/test/Sum/left-fold-data.budget.golden b/plutus-benchmark/lists/test/Sum/left-fold-data.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 496817685
-| mem: 1662262})
+({cpu: 450587685
+| mem: 1461262})
diff --git a/plutus-benchmark/lists/test/Sum/right-fold-data.budget.golden b/plutus-benchmark/lists/test/Sum/right-fold-data.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 503717685
-| mem: 1692262})
+({cpu: 457487685
+| mem: 1491262})
diff --git a/plutus-benchmark/script-contexts/test/checkScriptContextEqualityTerm-20.budget.golden b/plutus-benchmark/script-contexts/test/checkScriptContextEqualityTerm-20.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1011429251
-| mem: 4239546})
+({cpu: 835870251
+| mem: 3476246})