Commit 67f2d122 authored by POTTIER Francois's avatar POTTIER Francois

Avoid a fragile pattern matching warning.

parent 31bdca28
......@@ -166,7 +166,7 @@ class ['self] delayed_tree_monoid = object (_ : 'self)
| s, DTZero ->
(* This optimization is not mandatory. It helps allocate fewer nodes. *)
s
| _, _ ->
| (DTOne _ | DTTwo _ | DTDelay _), _ ->
DTTwo (s1, s2)
(* The visitor method [visit_delay] delays the visit of a subtree by
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment