diff --git a/src/zk/gadget/less_than.rs b/src/zk/gadget/less_than.rs index 35ebd88b6..b66c45b0b 100644 --- a/src/zk/gadget/less_than.rs +++ b/src/zk/gadget/less_than.rs @@ -99,7 +99,8 @@ impl