From 9951bf271c9f00dab23e03c5a89eb2c14077e3cc Mon Sep 17 00:00:00 2001
From: Johan Wiltink <johan@wilt.ink>
Date: Wed, 16 Feb 2022 19:18:20 +0100
Subject: [PATCH] remove spurious debug print stmt

---
 src/lambda-calculus.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lambda-calculus.js b/src/lambda-calculus.js
index 6253562..2d45d75 100644
--- a/src/lambda-calculus.js
+++ b/src/lambda-calculus.js
@@ -416,7 +416,7 @@ function evalLC(term) {
 }
 
 // Print an error, with stack trace according to verbosity level
-function printStackTrace(error, term, stack) { console.log("printStackTrace",config.verbosity)
+function printStackTrace(error, term, stack) {
   if ( config.verbosity >= "Concise" )
     console.error(`${ error } inside definition of ${ term.defName }`);