From 44a02febacf554eab9bba3d18453d290696eb8dd Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Fri, 7 Mar 2025 15:47:56 +0000
Subject: [PATCH] Update CHANGES.md

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

diff --git a/CHANGES.md b/CHANGES.md
index 6abf19af..e33c1333 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -6,6 +6,10 @@
 
 ## v0.6.1
 
+### Changed
+
+- Removed alt-ergo-lib pin and disabled model generation for the alt-ergo solver
+
 ### Fixed
 
 - Fixes model parsing in the JSON format.