From 75dc0af2d64b285e5276b0b13ce10da6cb0db3d7 Mon Sep 17 00:00:00 2001
From: Guillaume Pinot <guillaume.pinot@citodi.fr>
Date: Tue, 14 Sep 2021 10:43:46 +0200
Subject: [PATCH] fix clippy

---
 src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

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;
 //!