Commits

Yit Phang Khoo committed 0f35c8e

Minor refactoring in EagerSATotalOrder.

  • Participants
  • Parent commits 9ec108b

Comments (0)

Files changed (1)

File Source/Adapton/EagerSATotalOrder.ml

     let rec dequeue () =
         let meta, queue = PriorityQueue.extract !eager_queue in
         eager_queue := queue;
-        if TotalOrder.is_valid meta.start_timestamp then begin
+        if TotalOrder.is_valid meta.start_timestamp then
             meta
-        end else
+        else
             dequeue ()
 
     let enqueue meta = if TotalOrder.is_valid meta.start_timestamp then