fmt

cryspen · Feb 9, 2025 · bf1a982 · bf1a982
1 parent 64821e9
commit bf1a982
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/hax-lib/src/implementation.rs b/hax-lib/src/implementation.rs
@@ -1,3 +1,6 @@
+mod abstraction;
+pub use abstraction::*;
+
 mod int;
 pub use int::*;