Algorithmique des structures de données arborescentes 2017-2018

Bonjour,

 je ne comprend pas mon erreur dans le code suivant : 

let rec btree_size t = match t with 

    Empty -> 1

    | Bin (x,t1,t2) -> 1 + btree_size t1 + btree_size t2 ;;

let rec btree_height t = match t with 

    Empty -> 0

    | Bin (x,t1,t2) -> 1 + max (btree_height t1)(btree_height t2) ;;

Pourriez-vous me dire pourquoi le correcteur me dit : Echec sur les arguments Empty ?

Merci d'avance.