waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update crates/aiken-lang/src/tipo/infer.rs 

Co-authored-by: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
This commit is contained in:
Lucas 2023-03-17 09:42:21 -04:00 committed by rvcas
parent bf34324ac0
commit 3d92772d23
No known key found for this signature in database
GPG Key ID: C09B64E263F7D68C
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
crates/aiken-lang/src/tipo/infer.rs
View File

@ -312,8 +312,8 @@ fn infer_definition(
|| other_typed_fun.arguments.len() > 3 || other_typed_fun.arguments.len() > 3
{ {
return Err(Error::IncorrectValidatorArity { return Err(Error::IncorrectValidatorArity {
count: typed_fun.arguments.len() as u32, count: other_typed_fun.arguments.len() as u32,
location: typed_fun.location, location: other_typed_fun.location,
}); });
} }