fix: add empty dependencies even to an errored sentence

coq · Feb 25, 2025 · 5e522d1 · 5e522d1
1 parent b0b7f69
commit 5e522d1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/language-server/dm/scheduler.ml b/language-server/dm/scheduler.ml
@@ -226,7 +226,8 @@ let _string_of_state st =
 let schedule_errored_sentence id error schedule =
   let task = Block {id; error} in
   let tasks = SM.add id (None, task) schedule.tasks in
-  {schedule with tasks}
+  let dependencies = SM.add id Stateid.Set.empty schedule.dependencies in
+  {tasks; dependencies}
 
 let schedule_sentence (id, (ast, classif, synterp_st)) st schedule =
   let base, st, task =