1. Yit Phang Khoo
  2. Adapton.ocaml

Commits

Yit Phang Khoo  committed 2b4048f

Remove an unused function from EagerSATotalOrder since #75f62053c596.

  • Participants
  • Parent commits 36155d9
  • Branches default

Comments (0)

Files changed (1)

File Source/Adapton/EagerSATotalOrder.ml

View file
         else
             dequeue ()
 
-    let enqueue meta = if TotalOrder.is_valid meta.start_timestamp then
-        PriorityQueue.add eager_queue meta
-
     let enqueue_dependents dependents =
         ignore (WeakDyn.fold (fun d () -> if TotalOrder.is_valid d.start_timestamp then PriorityQueue.add eager_queue d) dependents ());
         WeakDyn.clear dependents