From 42e4edf0a8744ff67c356cf16c96971f7104d420 Mon Sep 17 00:00:00 2001
From: Matthias Goergens <matthias.goergens@gmail.com>
Date: Thu, 12 Dec 2024 18:18:24 +0800
Subject: [PATCH] Div and Shr

---
 ceno_zkvm/src/expression.rs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/ceno_zkvm/src/expression.rs b/ceno_zkvm/src/expression.rs
index bcb22c47d..78ca0234b 100644
--- 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),*)) => {
         $(