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 }`);