bindings.js: remove duplicated definition

o1-labs · Jul 10, 2023 · 40dd1b6 · 40dd1b6
1 parent aca2697
commit 40dd1b6
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/kimchi/js/bindings.js b/kimchi/js/bindings.js
@@ -2692,10 +2692,3 @@ function caml_pasta_fp_plonk_proof_example_with_rot() {
 function caml_pasta_fp_plonk_proof_example_with_xor() {
   throw new Error('Unimplemented caml_pasta_fp_plonk_proof_example_with_xor');
 }
-
-// Provides: caml_pasta_fp_plonk_proof_example_with_lookup
-function caml_pasta_fp_plonk_proof_example_with_lookup() {
-  throw new Error(
-    'Unimplemented caml_pasta_fp_plonk_proof_example_with_lookup'
-  );
-}