Skip to content

Commit c77616f

Browse files
committed
Fix GPU compilation?
1 parent 589374e commit c77616f

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

openvm/src/empirical_constraints.rs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,7 @@
11
use itertools::Itertools;
22
use openvm_circuit::arch::VmCircuitConfig;
33
use openvm_sdk::StdIn;
4-
use openvm_stark_backend::p3_matrix::dense::DenseMatrix;
54
use openvm_stark_sdk::openvm_stark_backend::p3_field::PrimeField32;
6-
use openvm_stark_sdk::p3_baby_bear::BabyBear;
75
use powdr_autoprecompiles::empirical_constraints::{
86
intersect_partitions, DebugInfo, EmpiricalConstraints,
97
};
@@ -96,7 +94,7 @@ fn collect_trace(program: &CompiledProgram, inputs: StdIn) -> (Trace, DebugInfo)
9694
// Not the case for instruction circuits
9795
continue;
9896
}
99-
let main: &DenseMatrix<BabyBear> = proving_context.common_main.as_ref().unwrap();
97+
let main = proving_context.common_main.as_ref().unwrap();
10098

10199
let air = &global_airs[air_id];
102100
let Some(column_names) = air.columns() else {

0 commit comments

Comments
 (0)