Div and Shr

scroll-tech · Dec 12, 2024 · 42e4edf · 42e4edf
1 parent 69117ca
commit 42e4edf
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/ceno_zkvm/src/expression.rs b/ceno_zkvm/src/expression.rs
@@ -5,7 +5,10 @@ use std::{
     fmt::Display,
     iter::{Product, Sum},
     mem::MaybeUninit,
-    ops::{Add, AddAssign, Deref, Div, Mul, MulAssign, Neg, Shl, ShlAssign, Shr, ShrAssign, Sub, SubAssign},
+    ops::{
+        Add, AddAssign, Deref, Div, Mul, MulAssign, Neg, Shl, ShlAssign, Shr, ShrAssign, Sub,
+        SubAssign,
+    },
 };
 
 use ceno_emul::InsnKind;
@@ -759,7 +762,6 @@ impl<E: ExtensionField> Mul for Expression<E> {
     }
 }
 
-
 macro_rules! div_instances {
     (($($t:ty),*)) => {
         $(