Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-10-06 04:17:14 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #390 from felipegchi/record-fix

Browse Source 
Fix record
This commit is contained in:
Felipe G 2022-09-28 14:56:52 -03:00 committed by GitHub
commit 30b9ee5ca9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/derive/prod_type.rs
View File

@ -67,7 +67,7 @@ pub fn derive_getters(prod: &ProdType) -> Vec<Derived> {
args: args_to_vars(&prod.pars)
});
args.push(Box::new(Argument::new_hidden(Ident(name_lower), tipo)));
args.push(Box::new(Argument::new_accessible(Ident(name_lower), tipo)));
let mut derived = Vec::new();