From 6cc3b2eb2d9585e6ee7743a414b816acf2a07056 Mon Sep 17 00:00:00 2001
From: dewert99 <dewert10@gmail.com>
Date: Sat, 16 Mar 2024 12:47:10 -0700
Subject: [PATCH] Make methods for `AsyncInterrupt` public

---
 src/batsat/src/callbacks.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/batsat/src/callbacks.rs b/src/batsat/src/callbacks.rs
index 4b805ba..a715c14 100644
--- a/src/batsat/src/callbacks.rs
+++ b/src/batsat/src/callbacks.rs
@@ -192,14 +192,14 @@ impl Default for AsyncInterrupt {
 
 impl AsyncInterrupt {
     /// Return an [`AsyncInterruptHandle`] that can be used to interrupt the solver
-    fn get_handle(&self) -> AsyncInterruptHandle {
+    pub fn get_handle(&self) -> AsyncInterruptHandle {
         AsyncInterruptHandle(self.0.clone())
     }
 }
 
 impl AsyncInterruptHandle {
     /// Interrupt the solver
-    fn interrupt_async(&self) {
+    pub fn interrupt_async(&self) {
         self.0.store(true, Ordering::SeqCst)
     }
 }