Merge pull request #61 from JohanWiltink/main

Kacarott · web-flow · commit 489c50fb9cbe · 2022-02-16T19:23:56.000+01:00
remove spurious debug print stmt
diff --git 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 }`);
 

Original file line number	Diff line number	Diff line change
`@@ -416,7 +416,7 @@ function evalLC(term) {`
`416`	`416`	`}`
`417`	`417`
`418`	`418`	`// Print an error, with stack trace according to verbosity level`
`419`		`-function printStackTrace(error, term, stack) { console.log("printStackTrace",config.verbosity)`
	`419`	`+function printStackTrace(error, term, stack) {`
`420`	`420`	`if ( config.verbosity >= "Concise" )`
`421`	`421`	console.error(`${ error } inside definition of ${ term.defName }`);
`422`	`422`