get_arc

0xPolygonHermez · Oct 28, 2024 · 236c49f · 236c49f
1 parent dc5604f
commit 236c49f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/pil2-components/lib/std/rs/src/range_check/specified_ranges.rs b/pil2-components/lib/std/rs/src/range_check/specified_ranges.rs
@@ -94,9 +94,9 @@ impl<F: PrimeField> SpecifiedRanges<F> {
     pub fn drain_inputs(&self) {
         let mut inputs = self.inputs.lock().unwrap();
         let drained_inputs = inputs.drain(..).collect();
-        let pctx = self.wcm.get_arc_pctx();
-        let sctx = self.wcm.get_arc_sctx();
-        let ectx = self.wcm.get_arc_ectx();
+        let pctx = self.wcm.get_pctx();
+        let sctx = self.wcm.get_sctx();
+        let ectx = self.wcm.get_ectx();
 
         // Perform the last update
         self.update_multiplicity(drained_inputs);

diff --git a/pil2-components/lib/std/rs/src/range_check/u8air.rs b/pil2-components/lib/std/rs/src/range_check/u8air.rs
@@ -86,9 +86,9 @@ impl<F: PrimeField> U8Air<F> {
     pub fn drain_inputs(&self) {
         let mut inputs = self.inputs.lock().unwrap();
         let drained_inputs = inputs.drain(..).collect();
-        let pctx = self.wcm.get_arc_pctx();
-        let sctx = self.wcm.get_arc_sctx();
-        let ectx = self.wcm.get_arc_ectx();
+        let pctx = self.wcm.get_pctx();
+        let sctx = self.wcm.get_sctx();
+        let ectx = self.wcm.get_ectx();
 
         // Perform the last update
         self.update_multiplicity(drained_inputs);