diff --git a/crates/recursion/compiler/src/ir/builder.rs b/crates/recursion/compiler/src/ir/builder.rs index 6db1b565ad..39bf384656 100644 --- a/crates/recursion/compiler/src/ir/builder.rs +++ b/crates/recursion/compiler/src/ir/builder.rs @@ -89,6 +89,7 @@ impl Builder { builder.nb_public_values = nb_public_values; builder.p2_hash_num = p2_hash_num; builder.debug = debug; + builder.is_sub_builder = true; builder } @@ -431,7 +432,6 @@ impl Builder { /// Register and commits a felt as public value. This value will be constrained when verified. pub fn commit_public_value(&mut self, val: Felt) { - assert!(!self.is_sub_builder, "Cannot commit to a public value with a sub builder"); if self.nb_public_values.is_none() { self.nb_public_values = Some(self.eval(C::N::zero())); }