remove unused field

This commit is contained in:
Folkert 2023-08-09 15:11:02 +02:00
parent 7fb4b60b21
commit 0f3da32d9d
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
4 changed files with 0 additions and 14 deletions

View file

@ -802,7 +802,6 @@ impl<'a> TrmcEnv<'a> {
closure_data_layout: proc.closure_data_layout,
ret_layout: proc.ret_layout,
is_self_recursive: SelfRecursive::NotSelfRecursive,
is_host_exposed: proc.is_host_exposed,
is_erased: proc.is_erased,
}
}