From f48de61ca948a28f6a8d7e2e1af39c11e3162852 Mon Sep 17 00:00:00 2001
From: Jordi Baylina <jordi@baylina.cat>
Date: Tue, 21 Jul 2020 14:34:53 +0200
Subject: [PATCH] lIdx BigArray

---
 src/compiler.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/compiler.js b/src/compiler.js
index c236824..58a40e1 100644
--- a/src/compiler.js
+++ b/src/compiler.js
@@ -115,10 +115,12 @@ async function compile(srcFile, options) {
     if (ctx.error) throw(ctx.error);
 
     if (options.r1csFileName) {
+        if (ctx.verbose) console.log("Generating r1cs...");
         await buildR1cs(ctx, options.r1csFileName);
     }
 
     if (options.symWriteStream) {
+        if (ctx.verbose) console.log("Generating syms...");
         const rdStream = buildSyms(ctx);
         rdStream.pipe(options.symWriteStream);
 
@@ -297,7 +299,7 @@ async function reduceConstrains(ctx) {
         nextPossibleConstraints = new BigArray();
         removedSignals = new BigArray();
         nRemoved = 0;
-        lIdx = {};
+        lIdx = new BigArray();
         for (let i=0;i<possibleConstraints.length;i++) {
             if ((ctx.verbose)&&(i%10000 == 0)) {
                 await Promise.resolve();