Make methods for AsyncInterrupt public

c-cube · Mar 17, 2024 · 6cc3b2e · 6cc3b2e
1 parent 0419daa
commit 6cc3b2e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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)
     }
 }