cfg hax

cryspen · Jan 16, 2025 · aed4d9c · aed4d9c
1 parent 64a2505
commit aed4d9c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/tls13utils.rs b/src/tls13utils.rs
@@ -314,6 +314,7 @@ impl core::ops::Index<usize> for Bytes {
     }
 }
 
+/// This is needed only for hax, so should likely be guarded by a feature flag.
 #[hax_lib::fstar::before(
     interface,
     "[@@ FStar.Tactics.Typeclasses.tcinstance]