From d449231421ff2b4b712d48a441b25f3a2b582a15 Mon Sep 17 00:00:00 2001
From: Sander Spies <sandermail@gmail.com>
Date: Thu, 2 Apr 2020 15:14:07 +0200
Subject: [PATCH] Fix wrong closing element.

---
 gitlab-pages/docs/reference/toplevel.md | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/gitlab-pages/docs/reference/toplevel.md b/gitlab-pages/docs/reference/toplevel.md
index c8b819a81..4ed93379a 100644
--- a/gitlab-pages/docs/reference/toplevel.md
+++ b/gitlab-pages/docs/reference/toplevel.md
@@ -12,49 +12,49 @@ These functions are available without any needed prefix.
 
 <SyntaxTitle syntax="pascaligo">
 function is_nat: int -> option(nat)
-</Syntax>
+</SyntaxTitle>
 <SyntaxTitle syntax="pascaligo">
 val is_nat: int -> nat option
-</Syntax>
+</SyntaxTitle>
 <SyntaxTitle syntax="pascaligo">
 let is_nat: int => option(nat)
-</Syntax>
+</SyntaxTitle>
 
 Convert an `int` to a `nat` if possible.
 
 <SyntaxTitle syntax="pascaligo">
 function abs: int -> nat
-</Syntax>
+</SyntaxTitle>
 <SyntaxTitle syntax="pascaligo">
 val abs: int -> nat
-</Syntax>
+</SyntaxTitle>
 <SyntaxTitle syntax="pascaligo">
 let abs: int => nat
-</Syntax>
+</SyntaxTitle>
 
 Cast an `int` to `nat`.
 
 <SyntaxTitle syntax="pascaligo">
 function int: nat -> int
-</Syntax>
+</SyntaxTitle>
 <SyntaxTitle syntax="pascaligo">
 val int: nat -> int
-</Syntax>
+</SyntaxTitle>
 <SyntaxTitle syntax="pascaligo">
 let int: nat => int
-</Syntax>
+</SyntaxTitle>
 
 Cast an `nat` to `int`.
 
 <SyntaxTitle syntax="pascaligo">
 const unit: unit
-</Syntax>
+</SyntaxTitle>
 <SyntaxTitle syntax="pascaligo">
 val unit: unit
-</Syntax>
+</SyntaxTitle>
 <SyntaxTitle syntax="pascaligo">
 let (): unit
-</Syntax>
+</SyntaxTitle>
 
 A helper to create a unit.