From: Alexander Ilin <alex.ilin@protonmail.com>
Date: Mon, 3 Jan 2022 20:12:22 +0000 (+0100)
Subject: boolean-expr: eliminate double negations
X-Git-Tag: 0.99~1964
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=e821e75733dc1d5d859908b293cff686a077c42e

boolean-expr: eliminate double negations
---

diff --git a/extra/boolean-expr/boolean-expr.factor b/extra/boolean-expr/boolean-expr.factor
index 46449d7486..a0b54caddf 100644
--- a/extra/boolean-expr/boolean-expr.factor
+++ b/extra/boolean-expr/boolean-expr.factor
@@ -40,7 +40,7 @@ GENERIC: ¬ ( x -- expr )
 
 METHOD: ¬ { ⊤ } drop ⊥ ;
 METHOD: ¬ { ⊥ } drop ⊤ ;
-
+METHOD: ¬ { ¬ } x>> ;
 METHOD: ¬ { ⋀ } [ x>> ¬ ] [ y>> ¬ ] bi ⋁ ;
 METHOD: ¬ { ⋁ } [ x>> ¬ ] [ y>> ¬ ] bi ⋀ ;