From 0ffd437ce8dfc75c91f5ecd511528e6fcad34502 Mon Sep 17 00:00:00 2001
From: Felix <felix@felixleitner.com>
Date: Tue, 23 Jan 2024 16:03:32 +0000
Subject: [PATCH] add missing import

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

diff --git a/solvers/minion/src/lib.rs b/solvers/minion/src/lib.rs
index 835cda3c6..ffb2661aa 100644
--- 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.