From 807ab842b59c3d19eb555f333d9cfc2d9cc7d737 Mon Sep 17 00:00:00 2001
From: Jorge Fandinno <jorgefandinno@users.noreply.github.com>
Date: Tue, 24 May 2022 17:53:11 -0500
Subject: [PATCH] Update CHANGES.md

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

diff --git a/CHANGES.md b/CHANGES.md
index bd46f66..860d0ce 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,7 +1,7 @@
 # Changes
 
-## eclingo 0.2.1
+## eclingo 0.4
   * allows to use "not" inside epistemic literals. Now "a :- &k{ not b}." is a valid program.
-  * works with (and requires) clingo 5.5 and python 3.8.
+  * works with (and requires) clingo 5.5.2 and python 3.9.
   * Semantics K14 is not supported in this version.
   * Grounding is done only once instead of twice.