From 7a21f853daf5b4b4ad71268217ba972dc0ec73f5 Mon Sep 17 00:00:00 2001 From: Alexander Rosenberg Date: Mon, 16 Sep 2024 04:23:37 -0700 Subject: [PATCH] Clean up something --- typeset.lisp | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/typeset.lisp b/typeset.lisp index d1de8a0..7e77462 100644 --- a/typeset.lisp +++ b/typeset.lisp @@ -417,11 +417,10 @@ between each row." expr :lookup-table expr-lookup-table :latin-truths latin-truths)) (extract-truth-table-expressions table))) - (col-widths (mapcar (lambda (expr) - (+ (length expr) 2)) - typeset-exprs))) + (col-widths (mapcar 'length typeset-exprs))) (with-output-to-string (str) - (with-draw-table (str col-widths box-lookup-table) + (with-draw-table (str col-widths box-lookup-table + :padding 1) (:row typeset-exprs) (:seperator) (dolist (row (extract-truth-table-values table))