Skip to content

Commit

Permalink
Simplify
Browse files Browse the repository at this point in the history
  • Loading branch information
matthiasgoergens committed Oct 27, 2024
1 parent 333c87a commit 323e376
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions ceno_zkvm/src/circuit_builder.rs
Original file line number Diff line number Diff line change
Expand Up @@ -196,14 +196,12 @@ impl<E: ExtensionField> ConstraintSystem<E> {
&mut self,
n: N,
) -> Result<WitIn, ZKVMError> {
let wit_in = WitIn {
id: WitnessId::try_from(self.num_witin()).unwrap(),
};
let id = WitnessId::try_from(self.num_witin()).unwrap();

let path = self.ns.compute_path(n().into());
self.witin_namespace_map.push(path);

Ok(wit_in)
Ok(WitIn { id })
}

pub fn num_fixed(&self) -> usize {
Expand Down

0 comments on commit 323e376

Please sign in to comment.