Fix degree passing in CLI

2026-04-20 03:03:25 -04:00 · 2023-11-03 18:50:39 +01:00
parent 86cd4b68e9
commit e837eb777d
1 changed files with 1 additions and 2 deletions
--- a/powdr_cli/src/main.rs
+++ b/powdr_cli/src/main.rs
@@ -579,8 +579,7 @@ fn read_and_prove<T: FieldElement>(
        let mut file = fs::File::open(dir.join(filename)).unwrap();
        builder.create_from_setup(&mut file).unwrap()
    } else {
-        let degree = usize::BITS - fixed.1.leading_zeros() + 1;
-        builder.create(degree as u64)
+        builder.create(fixed.1)
    };

    let proof = proof_path.map(|filename| {