sort: fix array_range and array_domain lifetimes

prove-rs · Dec 18, 2023 · bce5042 · bce5042
1 parent 50331a4
commit bce5042
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/z3/src/sort.rs b/z3/src/sort.rs
@@ -216,7 +216,7 @@ impl<'ctx> Sort<'ctx> {
     /// assert!(int_sort.array_domain().is_none());
     /// assert!(bool_sort.array_domain().is_none());
     /// ```
-    pub fn array_domain(&self) -> Option<Sort> {
+    pub fn array_domain(&self) -> Option<Sort<'ctx>> {
         if self.is_array() {
             unsafe {
                 let domain_sort = Z3_get_array_sort_domain(self.ctx.z3_ctx, self.z3_sort);
@@ -250,7 +250,7 @@ impl<'ctx> Sort<'ctx> {
     /// assert!(int_sort.array_range().is_none());
     /// assert!(bool_sort.array_range().is_none());
     /// ```
-    pub fn array_range(&self) -> Option<Sort> {
+    pub fn array_range(&self) -> Option<Sort<'ctx>> {
         if self.is_array() {
             unsafe {
                 let range_sort = Z3_get_array_sort_range(self.ctx.z3_ctx, self.z3_sort);