diff --git a/extra/boolean-expr/boolean-expr.factor b/extra/boolean-expr/boolean-expr.factor index b2083eed55..5bf4bf3ad3 100644 --- a/extra/boolean-expr/boolean-expr.factor +++ b/extra/boolean-expr/boolean-expr.factor @@ -11,8 +11,7 @@ TUPLE: ⋀ x y ; TUPLE: ⋁ x y ; TUPLE: ¬ x ; -SINGLETON: ⊤ -SINGLETON: ⊥ +SINGLETONS: ⊤ ⊥ ; SINGLETONS: P Q R S T U V W X Y Z ;