Add missing #mkPartialOrder:

shingarov · Dec 4, 2023 · 456604c · 456604c
1 parent c5598e4
commit 456604c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/Z3/Z3Sort.class.st b/src/Z3/Z3Sort.class.st
@@ -161,6 +161,11 @@ Z3Sort >> mkLinearOrder: id [
 	^Z3 mk_linear_order: ctx _: self _: id
 ]
 
+{ #category : #'special relations' }
+Z3Sort >> mkPartialOrder: id [ 
+	^Z3 mk_partial_order: ctx _: self _: id
+]
+
 { #category : #'type theory' }
 Z3Sort >> mkSetSort [
 	^Z3 mk_set_sort: ctx _: self