fix unit tests

potassco · Feb 15, 2024 · 0065fb8 · 0065fb8
1 parent 95795ca
commit 0065fb8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,8 @@
 # Changes
 
+## telingo-2.1.2
+  * fix tests for clingo 5.7.0
+
 ## telingo-2.1.1
   * fix issues with application
 

diff --git a/telingo/tests/transformers_test.py b/telingo/tests/transformers_test.py
@@ -161,7 +161,7 @@ def test_theory(self):
 def transform(p):
     r = []
     def append(s):
-        if s.ast_type != ast.ASTType.TheoryDefinition:
+        if s.ast_type != ast.ASTType.TheoryDefinition and s.ast_type != ast.ASTType.Comment:
             r.append(str(s).replace(". [false]", "."))
     f, c = _tfs.transform([p], append)
     return r, f, c