X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=exercises%2Fch01%2Ftree_balanced_red_black.mli;h=c26f49e50ac0c9acc7078d0493ae9fb77d33ac54;hb=e7b4c94e4735593c55b89a294a10500d96ddd545;hp=e0e08eef560278c6669c45426dfba5a06fa38ac7;hpb=88cc262a0a05de03560b35950b763f41717b79b1;p=tiger.ml.git diff --git a/exercises/ch01/tree_balanced_red_black.mli b/exercises/ch01/tree_balanced_red_black.mli index e0e08ee..c26f49e 100644 --- a/exercises/ch01/tree_balanced_red_black.mli +++ b/exercises/ch01/tree_balanced_red_black.mli @@ -1 +1 @@ -include Tree_sig.S +include Tree.S