From 556e27fb7d7c3117eff4966505e33874b520c17e Mon Sep 17 00:00:00 2001
From: Johan Wiltink <johan@wilt.ink>
Date: Sun, 20 Feb 2022 01:02:28 +0100
Subject: [PATCH] another config bug

---
 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 08e2203..aa117e6 100644
--- a/src/lambda-calculus.js
+++ b/src/lambda-calculus.js
@@ -149,7 +149,7 @@ export function toInt(term) {
     else
       return config.numEncoding.toInt(term); // Custom encoding
   } catch (e) {
-    if ( config.verbosity >= "Concise" ) console.error(`toInt: ${ term } is not a number in numEncoding ${ numEncoding }`);
+    if ( config.verbosity >= "Concise" ) console.error(`toInt: ${ term } is not a number in numEncoding ${ config.numEncoding }`);
     throw e;
   }
 }