Skip to content

Commit b6e1f61

Browse files
committed
Fix random deadlock when grading the mooc FIFO exercise
1 parent 22a30c1 commit b6e1f61

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

exercises/mooc/week3/seq1/ex1/solution.ml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,4 +17,7 @@ let split l =
1717
let rec dequeue (front, back) =
1818
match front with
1919
| x :: front' -> (x, (front', back))
20-
| [] -> assert (back <> []); dequeue (split back)
20+
| [] -> match back with
21+
| [] -> assert false
22+
| [x] -> (x, ([], []))
23+
| back -> dequeue (split back)

0 commit comments

Comments
 (0)