hide the stubs module in documentation

creusot-rs · Nov 29, 2024 · 78d2439 · 78d2439
1 parent 2296e03
commit 78d2439
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/creusot-contracts/src/lib.rs b/creusot-contracts/src/lib.rs
@@ -178,6 +178,7 @@ mod macros {
     pub use base_macros::open_inv_result;
 }
 
+#[doc(hidden)]
 #[cfg(creusot)]
 #[path = "stubs.rs"]
 pub mod __stubs;