Commit 11ecd5f6 authored by Giuseppe Castagna's avatar Giuseppe Castagna

Error in the definition of cardinal

parent 8b04fb93
......@@ -98,4 +98,4 @@ let singleton (x : 'a): Btree('a) = <black elem=x>[ [] [] ]
let cardinal ( RBtree('a) -> Int )
| [] -> 0
| <_ ..>[ l r ] -> cardinal l + cardinal r
\ No newline at end of file
| <_ ..>[ l r ] -> cardinal l + cardinal r + 1
\ No newline at end of file
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