typo

LPCIC · Dec 6, 2024 · ed38e16 · ed38e16
1 parent 5e77822
commit ed38e16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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