diff --git a/README.md b/README.md index be1f623..29dd28b 100644 --- a/README.md +++ b/README.md @@ -12,7 +12,7 @@ single [`marketplace/`](https://github.com/tonyg/marketplace/tree/master/marketplace/). - the echo server example from the paper, in - [`marketplace/examples/echo-paper3.rkt`](https://github.com/tonyg/marketplace/tree/master/marketplace/examples/echo-paper3.rkt). + [`marketplace/examples/echo-paper.rkt`](https://github.com/tonyg/marketplace/tree/master/marketplace/examples/echo-paper.rkt). - the chat server example from the paper, in [`marketplace/examples/chat-paper.rkt`](https://github.com/tonyg/marketplace/tree/master/marketplace/examples/chat-paper.rkt). diff --git a/marketplace/examples/echo-paper3.rkt b/marketplace/examples/echo-paper.rkt similarity index 100% rename from marketplace/examples/echo-paper3.rkt rename to marketplace/examples/echo-paper.rkt