From 91ee1122f60ed0be2efaa3c5de38c687d7f2012a Mon Sep 17 00:00:00 2001
From: Denis Merigoux <denis.merigoux@netc.fr>
Date: Sat, 3 Jun 2023 15:32:38 +0200
Subject: [PATCH] Last typo

---
 compiler/dcalc/dcalc.mld | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/dcalc/dcalc.mld b/compiler/dcalc/dcalc.mld
index b5ba13d4..809ea194 100644
--- a/compiler/dcalc/dcalc.mld
+++ b/compiler/dcalc/dcalc.mld
@@ -15,7 +15,7 @@ Related modules:
 
 {!modules: Dcalc.Ast}
 
-{ 1 Invariants }
+{1 Invariants }
 
 While Dcalc is a superset of a fully-fledged simply typed lambda calculus,
 the Dcalc code actually generated from the previous intermediate representation