From e5341151ef773535407ae24c6bb3972367c05181 Mon Sep 17 00:00:00 2001
From: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Date: Thu, 23 Nov 2023 12:33:06 +0100
Subject: [PATCH] update changes

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

diff --git a/CHANGES.md b/CHANGES.md
index 747fe8fdf..ef4b12e84 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -10,6 +10,7 @@
   * improve hash table performance (#441)
   * extend add_theory_atom method of backend (#461)
     (breaks backward compatibility of the API)
+  * add contribution guidelines (#465)
   * fix `add_theory_atom_with_guard` in Python API
   * fix AST bugs (#403)
   * fix parsing of hexadecimal numbers (#421)