Commits

jhwoodyatt  committed 3a49f8a

Shut up warning about unused value.

  • Participants
  • Parent commits df071b1

Comments (0)

Files changed (1)

File cf/cf_rbtree.ml

     let rec nearest_incr_aux_ key w = function
         | Z ->
             to_seq_aux_ stack_min_ w Z
-        | (R (n, a, b) | B (n, a, b)) as u ->
+        | R (n, a, b)
+        | B (n, a, b) ->
             let d = N.kcompare key n in
             if d = 0 then
                 lazy (Cf_seq.P (n, to_seq_aux_ stack_min_ w b))
     let rec nearest_decr_aux_ key w = function
         | Z ->
             to_seq_aux_ stack_max_ w Z
-        | (R (n, a, b) | B (n, a, b)) as u ->
+        | R (n, a, b)
+        | B (n, a, b) ->
             let d = N.kcompare key n in
             if d = 0 then
                 lazy (Cf_seq.P (n, to_seq_aux_ stack_max_ w a))