From 1433a80532633556ef3fb37c7f57d17b381ef8c6 Mon Sep 17 00:00:00 2001
From: David Chemouil <david.chemouil+git@onera.fr>
Date: Fri, 27 Sep 2024 10:32:08 +0200
Subject: [PATCH] release 1.1.1

---
 CHANGES.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 221d65c..126bbdc 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,6 @@
+### 1.1.1 (2024-09-27)
+- fix bug: some arithmetic auxiliaries were absent from the generated SMV file
+
 ### 1.1.0 (2024-05-24)
 - handle int atoms, Int signature and all Alloy arithmetic operations
 - fix cardinality translation bug