--- a/src/Tools/VSCode/src/vscode_resources.scala Fri Dec 23 22:48:29 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala Fri Dec 23 22:51:47 2022 +0100
@@ -238,8 +238,7 @@
val stable_tip_version = session.stable_tip_version(st.models.values)
val thy_files =
- resources.resolve_dependencies(st.models.values,
- editor.document_required().map((_, Position.none)))
+ resources.resolve_dependencies(st.models.values, editor.document_required())
val aux_files = stable_tip_version.toList.flatMap(undefined_blobs)