add new file to jsoo dune

Trivo25 · querolita · commit 14aa899e760d · 2025-10-22T18:35:11.000+02:00
diff --git a/src/lib/crypto/kimchi_bindings/js/dune b/src/lib/crypto/kimchi_bindings/js/dune
@@ -17,6 +17,7 @@
    bindings/verifier-index.js
    native/native-overrides/oracles.js
    native/native-overrides/util.js
+   native/native-overrides/circuit.js
    ))
  (instrumentation
   (backend bisect_ppx))
