From 79743dd7c7a5dc6a9c66420a2045c7f1ef0db203 Mon Sep 17 00:00:00 2001
From: Jordi Baylina <jordi@baylina.cat>
Date: Fri, 9 Nov 2018 10:20:06 +0100
Subject: [PATCH] Small Fix: Print name of identifier

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

diff --git a/src/circuit.js b/src/circuit.js
index 91a0124..1db9f4b 100644
--- a/src/circuit.js
+++ b/src/circuit.js
@@ -128,7 +128,7 @@ module.exports = class Circuit {
     getSignalIdx(name) {
         if (typeof(this.signalName2Idx[name]) != "undefined") return this.signalName2Idx[name];
         if (!isNaN(name)) return Number(name);
-        throw new Error("Invalid signal identifier: ", name);
+        throw new Error("Invalid signal identifier: "+ name);
     }
 
     // returns the index of the i'th output