From e9957b535ae2a896e98b1cef1e0de9d97909f2f9 Mon Sep 17 00:00:00 2001
From: marc0olo <walz.marcoo@gmail.com>
Date: Tue, 27 Jul 2021 16:42:46 +0200
Subject: [PATCH] fix: output of notation list

---
 docs/sophia_syntax.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/sophia_syntax.md b/docs/sophia_syntax.md
index d945c3b..db438b5 100644
--- a/docs/sophia_syntax.md
+++ b/docs/sophia_syntax.md
@@ -69,6 +69,7 @@ contract Layout =
 ## Notation
 
 In describing the syntax below, we use the following conventions:
+
 - Upper-case identifiers denote non-terminals (like `Expr`) or terminals with
   some associated value (like `Id`).
 - Keywords and symbols are enclosed in single quotes: `'let'` or `'='`.