diff --git a/crates/aiken-project/src/blueprint/validator.rs b/crates/aiken-project/src/blueprint/validator.rs index d04ab0b2..67f54ea1 100644 --- a/crates/aiken-project/src/blueprint/validator.rs +++ b/crates/aiken-project/src/blueprint/validator.rs @@ -107,9 +107,12 @@ impl Validator> { module.code.clone(), ), }) - .map(|schema| Argument { - title: Some(redeemer.arg_name.get_label()), - schema, + .map(|schema| match datum { + Some(..) if def.other_fun.is_some() => todo!(), + _ => Argument { + title: Some(redeemer.arg_name.get_label()), + schema, + }, })?, program: generator.generate(def).try_into().unwrap(), definitions,