From 491cfa5b44c2e66f59007b20bd167639eaf212a8 Mon Sep 17 00:00:00 2001
From: karthikbhargavan <karthik.bhargavan@gmail.com>
Date: Sun, 9 Feb 2025 09:57:32 +0100
Subject: [PATCH] fix abs

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

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::*;