add missing import

conjure-cp · Jan 24, 2024 · 0ffd437 · 0ffd437
1 parent 8fdc7eb
commit 0ffd437
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/solvers/minion/src/lib.rs b/solvers/minion/src/lib.rs
@@ -29,6 +29,7 @@
 //! use minion_rs::ast::*;
 //! use minion_rs::run_minion;
 //! use std::collections::HashMap;
+//! use std::sync::Mutex;
 //!
 //! // Get solutions out of Minion.
 //! // See the documentation for Callback for details.