Use string-append with the built-in formatting of your IDE:
(panic (string-append "Truth-assignment length is longer "
"than the number of propositions!"))
Use string-append with the built-in formatting of your IDE:
(panic (string-append "Truth-assignment length is longer "
"than the number of propositions!"))