Merge pull request #748 from powdr-labs/fix-degree-cli

Fix degree passing in CLI
powdr-labs · Nov 6, 2023 · b465f80 · b465f80
2 parents 86cd4b6 + e837eb7
commit b465f80
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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| {