From 9405df289e7f1c19f46a2b873a0934f9429fc693 Mon Sep 17 00:00:00 2001
From: Duncan Paul Attard <duncanatt@gmail.com>
Date: Thu, 29 Aug 2024 12:22:03 +0100
Subject: [PATCH] Updated readme.

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index b6aeb01..b18f052 100644
--- a/README.md
+++ b/README.md
@@ -15,7 +15,7 @@ The current type-checking pipeline consists of these stages:
 ## Using from the Erlang shell
 
 ```erlang
-paterl:compile("src/examples/future_relaxed.erl", [{includes, ["include"]}, {out, "out"}]).
+paterl:compile("src/examples/erlang/codebeam/id_server_demo.erl", [{includes, ["include"]}, {out, "out"}]).
 ```
 
 ## Using from command line