From af6c107187df26cc2ae7ed4cdf42bd468bbcdd27 Mon Sep 17 00:00:00 2001 From: microproofs Date: Sat, 2 Mar 2024 14:26:37 -0500 Subject: [PATCH] remove unneeded assert --- crates/uplc/src/optimize/shrinker.rs | 7 ------- 1 file changed, 7 deletions(-) diff --git a/crates/uplc/src/optimize/shrinker.rs b/crates/uplc/src/optimize/shrinker.rs index d328c50f..81cf402a 100644 --- a/crates/uplc/src/optimize/shrinker.rs +++ b/crates/uplc/src/optimize/shrinker.rs @@ -1000,13 +1000,6 @@ impl Program { let body = Rc::make_mut(body); let var_lookup = var_occurrences(body, parameter_name.clone(), vec![], vec![]); - assert!( - var_lookup.delays >= 0, - "HOW {} AND {:#?}", - parameter_name.text, - var_lookup - ); - let substitute_condition = (var_lookup.delays == 0 && !var_lookup.no_inline) || matches!( &arg_term,