Commit a165343e authored by POTTIER Francois's avatar POTTIER Francois

Tiny performance improvement.

parent 0a077a78
...@@ -30,7 +30,7 @@ let is_maximal p = ...@@ -30,7 +30,7 @@ let is_maximal p =
let min p1 p2 = let min p1 p2 =
match p1, p2 with match p1, p2 with
| Finite i1, Finite i2 -> | Finite i1, Finite i2 ->
Finite (min i1 i2) if i1 <= i2 then p1 else p2
| p, Infinity | p, Infinity
| Infinity, p -> | Infinity, p ->
p p
......
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