From bfd839b7b01d0ad68bb69abd0a2520c57b2335c8 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Sat, 7 Aug 2021 18:29:59 +0200 Subject: [PATCH] Update README.md --- src/runtime/c/doc/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/c/doc/README.md b/src/runtime/c/doc/README.md index 8d0ae7bda..298647f5a 100644 --- a/src/runtime/c/doc/README.md +++ b/src/runtime/c/doc/README.md @@ -9,6 +9,6 @@ So, **Don't Panick!** and keep reading. This is a live document and will develop **TABLE OF CONTENTS** -1. [DESIDERATA](DESIDERATA.md) +1. [Desiderata](DESIDERATA.md) 2. [Memory Model](memory_model.md)