From ff5c3814d9de24b26b0b78995df56b3346c20474 Mon Sep 17 00:00:00 2001
From: Manoel Vilela <manoel.neto@neoway.com.br>
Date: Fri, 25 Jul 2025 13:07:19 -0300
Subject: [PATCH] chore: don't log default proposition

---
 web/webapp.lisp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/web/webapp.lisp b/web/webapp.lisp
index ad23c02..f53bbaf 100644
--- a/web/webapp.lisp
+++ b/web/webapp.lisp
@@ -91,7 +91,8 @@ history.pushState(null, '', url);
 (defun truth-table (exp)
   (with-output-to-string (s)
     (let ((inference:*output-stream* s))
-      (log:info "expression: ~a" exp)
+      (unless (equal *proposition* exp)
+       (log:info "expression: ~a" exp))
       (handler-case (inference:print-truth-table
                      (inference:parse-logic exp))
         (simple-error (c)