diff --git a/snark-verifier-sdk/src/halo2/aggregation.rs b/snark-verifier-sdk/src/halo2/aggregation.rs
index d7885f02..29545541 100644
--- a/snark-verifier-sdk/src/halo2/aggregation.rs
+++ b/snark-verifier-sdk/src/halo2/aggregation.rs
@@ -342,6 +342,9 @@ pub struct SnarkAggregationOutput {
 /// ## Warning
 /// Will fail silently if `snarks` were created using a different multi-open scheme than `AS`
 /// where `AS` can be either [`crate::SHPLONK`] or [`crate::GWC`] (for original PLONK multi-open scheme)
+///
+/// ## Assumptions
+/// - `pool` and `range` reference the same `SharedCopyConstraintManager`.
 pub fn aggregate_snarks<AS>(
     pool: &mut SinglePhaseCoreManager<Fr>,
     range: &RangeChip<Fr>,