removed target info

This commit is contained in:
J.Teeuwissen 2023-06-13 17:15:04 +02:00
parent 36abaec07d
commit 5d66ae4295
No known key found for this signature in database
GPG key ID: DB5F7A1ED8D478AD
3 changed files with 24 additions and 128 deletions

View file

@ -3117,7 +3117,6 @@ fn update<'a>(
&mut layout_interner,
module_id,
ident_ids,
state.target_info,
&mut state.procedures,
);
@ -3132,7 +3131,6 @@ fn update<'a>(
&layout_interner,
module_id,
ident_ids,
state.target_info,
&mut update_mode_ids,
&mut state.procedures,
);