From 266345d9dfad557040f2d0d9b75e077411aac728 Mon Sep 17 00:00:00 2001
From: Boris Shingarov <shingarov@labware.com>
Date: Thu, 24 Oct 2024 18:50:47 -0400
Subject: [PATCH] Add Z3Sort>>isIntSort in parallel to isBoolSort

---
 src/Z3/Z3IntSort.class.st | 5 +++++
 src/Z3/Z3Sort.class.st    | 5 +++++
 2 files changed, 10 insertions(+)

diff --git a/src/Z3/Z3IntSort.class.st b/src/Z3/Z3IntSort.class.st
index 4a353999a..f3d954ea1 100644
--- a/src/Z3/Z3IntSort.class.st
+++ b/src/Z3/Z3IntSort.class.st
@@ -14,6 +14,11 @@ Z3IntSort >> cast: val [
 	^val toInt
 ]
 
+{ #category : #testing }
+Z3IntSort >> isIntSort [
+	^ true
+]
+
 { #category : #'type theory' }
 Z3IntSort >> nodeClass [
 	^ Int
diff --git a/src/Z3/Z3Sort.class.st b/src/Z3/Z3Sort.class.st
index cbddef489..bf258e9ea 100644
--- a/src/Z3/Z3Sort.class.st
+++ b/src/Z3/Z3Sort.class.st
@@ -94,6 +94,11 @@ Z3Sort >> isBoolSort [
 	^ false
 ]
 
+{ #category : #testing }
+Z3Sort >> isIntSort [
+	^ false
+]
+
 { #category : #accessing }
 Z3Sort >> kind [
 	^ SORT_AST