From ed38e16f6620dca4340d95b89c62346c7df03552 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Fri, 6 Dec 2024 07:57:56 +0100
Subject: [PATCH] typo

---
 Changelog.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Changelog.md b/Changelog.md
index 579ff6405..b3bc8033c 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -3,7 +3,7 @@
 Requires Elpi 2.0.3 and Coq 8.20.
 
 The major change is the port to Elpi 2.0 that reports type checking errors
-to the location of the offending term and not its exclosing rule.
+to the location of the offending term and not its enclosing rule.
 
 ### Vernacular
 - `Elpi Accumulate Db Header <db>` to accumulate just the `Db` declaration