From 3c5919c7719dd3d5e56303c52bb8af7b46446563 Mon Sep 17 00:00:00 2001
From: Jordi Baylina <jordi@baylina.cat>
Date: Fri, 27 Mar 2020 09:54:52 +0100
Subject: [PATCH] Fix printconstraints

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

diff --git a/src/printr1cs.js b/src/printr1cs.js
index afce950..271420c 100644
--- a/src/printr1cs.js
+++ b/src/printr1cs.js
@@ -8,7 +8,7 @@ module.exports = function printR1cs(r1cs, syms) {
         const lc2str = (lc) => {
             let S = "";
             for (let k in lc) {
-                let name = syms[k];
+                let name = syms.varIdx2Name[k];
                 if (name == "one") name = "";
                 let v = bigInt(lc[k]);
                 let vs;