# HG changeset patch
# User wenzelm
# Date 1670413291 -3600
# Node ID b9a7a658f7df1cad327d1eb5ae172ca67d1dfcdb
# Parent  3fc3c7c285cdc71428d6d3597d76dbd3fd8e66dd
tuned;

diff -r 3fc3c7c285cd -r b9a7a658f7df src/Tools/VSCode/src/vscode_resources.scala
--- a/src/Tools/VSCode/src/vscode_resources.scala	Wed Dec 07 12:38:06 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Wed Dec 07 12:41:31 2022 +0100
@@ -208,9 +208,9 @@
     file_watcher: File_Watcher
   ): (Boolean, Boolean) = {
     state.change_result { st =>
-      val thy_files = resources.resolve_dependencies(st.models, Nil)
+      val stable_tip_version = session.stable_tip_version(st.models)
 
-      val stable_tip_version = session.stable_tip_version(st.models)
+      val thy_files = resources.resolve_dependencies(st.models, Nil)
       val aux_files = stable_tip_version.toList.flatMap(undefined_blobs)
 
       val loaded_models =