diff --git a/examples/crbd.tppl b/examples/crbd.tppl
index ceecabf..919b0a8 100644
--- a/examples/crbd.tppl
+++ b/examples/crbd.tppl
@@ -1,7 +1,3 @@
-type Tree =
-  | Leaf {age: Real}
-  | Node {left: Tree, right: Tree, age: Real}
-
 function simulateSubtree(time: Real, lambda: Real, mu: Real) {
   assume waitingTime ~ Exponential(lambda + mu);
   if waitingTime > time {