dummy

cryspen · Feb 9, 2025 · d5b3863 · d5b3863
1 parent 49473b2
commit d5b3863
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/hax-lib/src/dummy.rs b/hax-lib/src/dummy.rs
@@ -4,6 +4,8 @@ pub use abstraction::*;
 mod prop;
 use prop::*;
 
+use int::*;
+
 #[cfg(feature = "macros")]
 pub use crate::proc_macros::*;