fix abs

cryspen · Feb 9, 2025 · 491cfa5 · 491cfa5
1 parent 4b5ba22
commit 491cfa5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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::*;