Merge branch 'main' into record-update-index-top

This commit is contained in:
J.Teeuwissen 2023-05-30 10:47:19 +02:00
commit 93ea086115
No known key found for this signature in database
GPG key ID: DB5F7A1ED8D478AD
66 changed files with 1154 additions and 472 deletions

View file

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