From 24c1a03b35682781ea0a524c53eab7dd06880817 Mon Sep 17 00:00:00 2001 From: Alexander Rosenberg Date: Tue, 3 Sep 2024 22:18:35 -0700 Subject: [PATCH] Fix --subexps --- truth-table.lisp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/truth-table.lisp b/truth-table.lisp index 3261a56..b431b95 100644 --- a/truth-table.lisp +++ b/truth-table.lisp @@ -1017,7 +1017,8 @@ arguments." prop-strs :format (option-value 'format opts) :implicit-and (not (option-value 'no-implicit opts)) :multi-char-names (option-value 'multi-char opts) - :include-vars (not (option-value 'no-vars opts)))) + :include-vars (not (option-value 'no-vars opts)) + :include-intermediate (option-value 'subexps opts))) (terpri))))))) (defun toplevel ()