Remove unused procs argument

This commit is contained in:
Richard Feldman 2020-05-09 22:37:00 -04:00
parent c49abfe2de
commit 8572879e0d
5 changed files with 37 additions and 51 deletions

View file

@ -470,7 +470,7 @@ fn gen(
// (This approach means we don't have to defensively clone name here.)
//
// println!("\n\nBuilding and then verifying function {}\n\n", name);
build_proc(&env, proc, &procs, fn_val, arg_basic_types);
build_proc(&env, proc, fn_val, arg_basic_types);
if fn_val.verify(true) {
fpm.run_on(&fn_val);
@ -499,7 +499,6 @@ fn gen(
&ImMap::default(),
main_fn,
&main_body,
&Procs::default(),
);
builder.build_return(Some(&ret));