diff --git a/hax-lib/src/dummy.rs b/hax-lib/src/dummy.rs
index 2fc11668c..c63de8c91 100644
--- a/hax-lib/src/dummy.rs
+++ b/hax-lib/src/dummy.rs
@@ -1,3 +1,6 @@
+mod abstraction;
+pub use abstraction::*;
+
 mod prop;
 use prop::*;