diff --git a/air/src/air/aux.rs b/air/src/air/aux_rand_elements.rs
similarity index 100%
rename from air/src/air/aux.rs
rename to air/src/air/aux_rand_elements.rs
diff --git a/air/src/air/mod.rs b/air/src/air/mod.rs
index 02ec093be..1d236fe6b 100644
--- a/air/src/air/mod.rs
+++ b/air/src/air/mod.rs
@@ -10,8 +10,8 @@ use math::{fft, ExtensibleField, ExtensionOf, FieldElement, StarkField, ToElemen
 
 use crate::{BatchingMethod, ProofOptions};
 
-mod aux;
-pub use aux::AuxRandElements;
+mod aux_rand_elements;
+pub use aux_rand_elements::AuxRandElements;
 
 mod trace_info;
 pub use trace_info::TraceInfo;