Fix test

aclai-lab · Nov 19, 2024 · e569108 · e569108
1 parent 7a9cf46
commit e569108
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/test/formulas/normal-forms.jl b/test/formulas/normal-forms.jl
@@ -23,5 +23,4 @@ atoms(φ)
 @test_nowarn dnf(φ ∧ A)
 @test_nowarn dnf(φ ∧ (¬A ∧ ¬B))
 @test_broken dnf(φ ∧ φ) == dnf(φ)
-@test dnf(φ ∧ φ) === dnf(φ)
 @test string(dnf(φ ∧ φ)) == string(dnf(φ))