From bbd38d55d4f83349ec22e379201ec2fdf97a5965 Mon Sep 17 00:00:00 2001
From: Viktor Senderov <vsenderov@gmail.com>
Date: Fri, 15 Dec 2023 16:34:30 +0100
Subject: [PATCH] Update crbd.tppl

With https://github.com/treeppl/treeppl/pull/50 these lines should not be needed.
---
 examples/crbd.tppl | 4 ----
 1 file changed, 4 deletions(-)

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 {