From 7c3889af87dd38052eef048ea5a6c94063aac461 Mon Sep 17 00:00:00 2001
From: Fredrik Ronquist <fredrik.ronquist@nrm.se>
Date: Wed, 8 Oct 2025 14:38:24 +0200
Subject: [PATCH] Update README.md

TreePPL syntax has changed; return types need to be preceded by fat arrow (=>).
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index f9bc2d6..c06a8fe 100644
--- a/README.md
+++ b/README.md
@@ -22,7 +22,7 @@ import seaborn as sns
 
 # Define a TreePPL model source code
 source = """\
-model function coin(outcomes: Bool[]): Real {
+model function coin(outcomes: Bool[]) => Real {
   assume p ~ Beta(2.0, 2.0);
   for i in 1 to (length(outcomes)) {
     observe outcomes[i] ~ Bernoulli(p);