From bbc02349af218dfdcf68d2d0ab8a645ef9090a97 Mon Sep 17 00:00:00 2001
From: Alexander Rosenberg <zanderpkg@pm.me>
Date: Wed, 11 Sep 2024 01:07:52 -0700
Subject: [PATCH] Fix handling of empty propositions on the command line

---
 cli.lisp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/cli.lisp b/cli.lisp
index 96b2808..fc895e4 100644
--- a/cli.lisp
+++ b/cli.lisp
@@ -37,13 +37,13 @@ functions involved in evaluating and typesetting."
              (parse-proposition-string prop-str
                                        :implicit-and implicit-and
                                        :multi-char-names multi-char-names))
-        collect parsed-exp into exps
+        when parsed-exp
+          collect parsed-exp into exps
         do (dolist (var parsed-vars)
-             (unless (member var vars :test 'equal)
-               (setq vars (nconc vars (list var)))))
+             (pushnew var vars :test 'equal))
         finally
            (let ((table (create-combined-truth-table
-                         exps vars
+                         exps (nreverse vars)
                          :include-intermediate include-intermediate
                          :include-vars include-vars)))
              (return (typeset-table-to-format table format