From 19d0ec23cffb12629668e50b5c2a299d4b619975 Mon Sep 17 00:00:00 2001
From: microproofs <kwhitemsg@gmail.com>
Date: Thu, 9 Jan 2025 21:40:33 +0700
Subject: [PATCH] Oops did wrong comparison check on number of consecutive
 applies

---
 .../aiken_project__export__tests__recursive_types.snap        | 4 ++--
 crates/uplc/src/optimize/shrinker.rs                          | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/crates/aiken-project/src/snapshots/aiken_project__export__tests__recursive_types.snap b/crates/aiken-project/src/snapshots/aiken_project__export__tests__recursive_types.snap
index b5c35f49..440a96c3 100644
--- a/crates/aiken-project/src/snapshots/aiken_project__export__tests__recursive_types.snap
+++ b/crates/aiken-project/src/snapshots/aiken_project__export__tests__recursive_types.snap
@@ -24,8 +24,8 @@ description: "Code:\n\npub type Foo<a> {\n  Empty\n  Bar(a, Foo<a>)\n}\n\npub fn
       "$ref": "#/definitions/Int"
     }
   },
-  "compiledCode": "59017c0101009800aba2aba1aba0aab9eaab9dab9a488888888c8c8c8c8c94ccc020c010c024dd50008992999804980298051baa0011480004c8cdc01bad300e001330044c0103d8798000300e300f001300b37540026018601a00a264a66601266e1d2002300a37540022646466e00cdc01bad300f002375a601e0026600a601e6020004601e602000260186ea8008c02cdd500109919b80375a601c00266008601c601e002980103d8798000300b37540046018601a00a601600860020024446464a666014600c60166ea80044c94ccc02cc01cc030dd50008a400026466e00dd69808000999803803a60103d879800030103011001300d3754002601c601e004264a66601666e1d2002300c37540022646466e00cdc01bad3011002375a60220026660100106022602400460226024002601c6ea8008c034dd500109919b80375a602000266600e00e60206022002980103d8798000300d3754004601c601e004601a002660160046601600297ae0370e90001980300119803000a5eb81",
-  "hash": "cf7584d2ab87ed23b3443146bbef954c61f15eaf1511295703fe1ccd",
+  "compiledCode": "5901870101009800aba2aba1aba0aab9eaab9dab9a488888888c8c8c8c8c966002600860126ea8006264b30013005300a375400314800226466e00dd698070009980226103d8798000300e300f001300b37540028048c030c034016264b30013370e900118051baa0018991919b80337006eb4c03c008dd6980780099802980798080011807980800098061baa002300b3754005132337006eb4c038004cc010c038c03c00530103d8798000300b37540048048c030c0340150081805802180080091119192cc004c018c02cdd5000c4c966002600e60186ea80062900044c8cdc01bad30100019800803d300103d879800098081808800a00e300d37540028058c038c03c00a264b30013370e900118061baa0018991919b80337006eb4c044008dd69808800cc00402260226024005301130120014020601c6ea8008c034dd500144c8cdc01bad30100019800803cc040c044006980103d8798000401c601a6ea800900b180718078012014300d0013300b0023300b0014bd701b8748000cc018008cc0180052f5c01",
+  "hash": "247535960781372d3b2097595ebd748bd61be7c8f2f264e460e095b3",
   "definitions": {
     "Int": {
       "dataType": "integer"
diff --git a/crates/uplc/src/optimize/shrinker.rs b/crates/uplc/src/optimize/shrinker.rs
index e93a8a7f..fb766f62 100644
--- a/crates/uplc/src/optimize/shrinker.rs
+++ b/crates/uplc/src/optimize/shrinker.rs
@@ -1425,7 +1425,7 @@ impl Term<Name> {
                 *self = std::mem::replace(term, Term::Error.force());
             }
             _ => {
-                if arg_vec.len() > 3 {
+                if arg_vec.len() > 2 {
                     let mut fields = vec![];
 
                     for arg in arg_vec {