diff --git a/src/lib.rs b/src/lib.rs
index 9b77dc5..8f33cc7 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -17,6 +17,7 @@
 //! first tutorial in the official documentation of CP SAT:
 //!
 //! ```
+//! # #![allow(clippy::needless_doctest_main)]
 //! use cp_sat::builder::CpModelBuilder;
 //! use cp_sat::proto::CpSolverStatus;
 //!