From: Alexander Ilin <alex.ilin@protonmail.com>
Date: Mon, 3 Jan 2022 21:55:50 +0000 (+0100)
Subject: boolean-expr: fix the implication implementation
X-Git-Tag: 0.99~1960
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=4f29db2f75cad5dcdedeb2726b66c197c2790c8b

boolean-expr: fix the implication implementation
---

diff --git a/extra/boolean-expr/boolean-expr.factor b/extra/boolean-expr/boolean-expr.factor
index a0b54caddf..0f8c5b1091 100644
--- a/extra/boolean-expr/boolean-expr.factor
+++ b/extra/boolean-expr/boolean-expr.factor
@@ -46,7 +46,7 @@ METHOD: ¬ { ⋁ } [ x>> ¬ ] [ y>> ¬ ] bi ⋀ ;
 
 METHOD: ¬ { □ } \ ¬ boa ;
 
-: → ( x y -- expr ) ¬ ⋀ ;
+: → ( x y -- expr ) swap ¬ ⋁ ;
 : ⊕ ( x y -- expr ) [ ⋁ ] [ ⋀ ¬ ] 2bi ⋀ ;
 : ≣ ( x y -- expr ) [ ⋀ ] [ [ ¬ ] bi@ ⋀ ] 2bi ⋁ ;