prepare for release 0.2.2

whitemech · Oct 9, 2019 · 878afdd · 878afdd
1 parent aeea8aa
commit 878afdd
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/HISTORY.md b/HISTORY.md
@@ -23,3 +23,7 @@
 ## 0.2.1 (2019-10-09)
 
 * Replace parsing library PLY with [Lark](https://github.com/lark-parser/lark).
+
+## 0.2.2 (2019-10-09)
+
+* Fix several issues in the computation of the delta function for LDLf.
diff --git a/flloat/__version__.py b/flloat/__version__.py
@@ -4,7 +4,7 @@
 __title__ = "flloat"
 __description__ = "A Python implementation of the FLLOAT library."
 __url__ = "https://github.com/marcofavorito/flloat.git"
-__version__ = "0.2.1"
+__version__ = "0.2.2"
 __author__ = "Marco Favorito"
 __author_email__ = "marco.favorito@gmail.com"
 __license__ = "Apache license"

diff --git a/tests/test_ldlf.py b/tests/test_ldlf.py
@@ -158,8 +158,6 @@ def test_delta():
     assert parser("[B]ff").delta(i_ab) == PLAtomic(ff)
 
     f = parser("!(<(!last)?>end)")
-    a = f.delta(i_)
-    b = f.to_nnf().delta(i_)
     assert f.delta(i_) == f.to_nnf().delta(i_)
     assert f.delta(i_ab) == f.to_nnf().delta(i_ab)