update changes

potassco · Nov 23, 2023 · e534115 · e534115
1 parent 670900a
commit e534115
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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)