From e837eb777d8ea5e2f96d7129cba0acaeb304cac8 Mon Sep 17 00:00:00 2001
From: Leo Alt <leo@ethereum.org>
Date: Fri, 3 Nov 2023 18:50:39 +0100
Subject: [PATCH] Fix degree passing in CLI

---
 powdr_cli/src/main.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/powdr_cli/src/main.rs b/powdr_cli/src/main.rs
index 12181d068..b75bad3e5 100644
--- 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| {