dummy - make prop, int public

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