From ad308b564c6c4eca790edc8c3450f5ff79201edd Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 20 Feb 2018 16:58:06 +0100
Subject: [PATCH] CHANGELOG: typo

---
 CHANGELOG.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 7c2fbc5ad..ff053daed 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -14,8 +14,8 @@ Changes in and extensions of the theory:
 Changes in Coq:
 
 * Rename `timelessP` -> `timeless` (projection of the `Timeless` class)
-* The CMRA axiom `cmra_extend` is now stated in `Type`, using `sigT` instead
-  of in `Prop` using `exists`. This makes it possible to define the functionnal
+* The CMRA axiom `cmra_extend` is now stated in `Type`, using `sigT` instead of
+  in `Prop` using `exists`. This makes it possible to define the function space
   CMRA even for an infinite domain.
 
 ## Iris 3.1.0 (released 2017-12-19)
-- 
GitLab