From 228ad7d84b0f097a1465541fd175887c5ec0db40 Mon Sep 17 00:00:00 2001 From: Marcus Stollsteimer Date: Sun, 27 Dec 2020 22:39:42 +0100 Subject: [PATCH] doc/ractor.md: Fix indentation Reintroduce removed empty line to fix indentation on rendered page (the first line is _not_ indented despite the leading spaces, and ends up "outdented" compared to the rest of the block). Also add a missing "-". --- doc/ractor.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/ractor.md b/doc/ractor.md index add18d9aae..235d58463b 100644 --- a/doc/ractor.md +++ b/doc/ractor.md @@ -259,9 +259,10 @@ r.take # Receive from r's outgoing port The last example shows the following ractor network. ``` + +------+ +---+ * main |------> * r *---+ - +-----+ +---+ | + +------+ +---+ | ^ | +-------------------+ ```