Fix r1cs file bug

JehyukJang · Jun 13, 2022 · 43ebe8f · 43ebe8f
1 parent 7d4d229
commit 43ebe8f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/r1cs_export_json.js b/src/r1cs_export_json.js
@@ -44,6 +44,7 @@ export default async function r1csExportJson(r1csFileName, logger) {
     const cir = await readR1cs(r1csFileName, true, true, true, logger);
     const Fr=cir.curve.Fr;
     delete cir.curve;
+    delete cir.F;
 
     return stringifyBigInts(Fr, cir);
 }