Reexport CairoProof from cairo_air

starkware-libs · Feb 17, 2025 · 5684db9 · 5684db9
1 parent 079bebc
commit 5684db9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/stwo_cairo_prover/crates/prover/src/cairo_air/mod.rs b/stwo_cairo_prover/crates/prover/src/cairo_air/mod.rs
@@ -7,7 +7,8 @@ pub(crate) mod preprocessed;
 pub mod preprocessed_utils;
 pub mod range_checks_air;
 
-use air::{lookup_sum, CairoClaimGenerator, CairoComponents, CairoInteractionElements, CairoProof};
+pub use air::CairoProof;
+use air::{lookup_sum, CairoClaimGenerator, CairoComponents, CairoInteractionElements};
 use debug_tools::track_cairo_relations;
 use num_traits::Zero;
 use preprocessed::PreProcessedTrace;