From f7b3a907413586097cc768540e399cedae5ce33b Mon Sep 17 00:00:00 2001
From: karthikbhargavan <karthik.bhargavan@gmail.com>
Date: Sun, 9 Feb 2025 10:26:58 +0100
Subject: [PATCH] dummy - make prop, int public

---
 hax-lib/src/dummy.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hax-lib/src/dummy.rs b/hax-lib/src/dummy.rs
index 43dacccec..062452918 100644
--- 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::*;