Commit 8d0d7e1b authored by Pietro Abate's avatar Pietro Abate
Browse files

Micro improvement in Bool.compute

parent 880ea5e9
...@@ -164,10 +164,11 @@ struct ...@@ -164,10 +164,11 @@ struct
| True -> full | True -> full
| False -> empty | False -> empty
| Split(_,x, p,i,n) -> | Split(_,x, p,i,n) ->
let p = cap (atom x) (aux p) let x1 = atom x in
and i = aux i let p = cap x1 (aux p)
and n = diff (aux n) (atom x) in and i = aux i
cup (cup p i) n and n = diff (aux n) x1 in
cup (cup p i) n
in in
aux b aux b
......
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