Skip to content

Commit

Permalink
Updated readme.
Browse files Browse the repository at this point in the history
  • Loading branch information
duncanatt committed Aug 29, 2024
1 parent 240e487 commit 9405df2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit 9405df2

Please sign in to comment.