[Z3] Remove unused ctx instvar from Z3Datatype

shingarov · Sep 9, 2024 · 58d55fb · 58d55fb
1 parent aa8ed4c
commit 58d55fb
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/src/Z3/Z3Datatype.class.st b/src/Z3/Z3Datatype.class.st
@@ -3,7 +3,6 @@ Class {
 	#superclass : #Object,
 	#instVars : [
 		'name',
-		'ctx',
 		'constructors'
 	],
 	#category : #'Z3-Core'
@@ -71,7 +70,6 @@ Z3Datatype class >> createDatatypes: ds [
 { #category : #'instance creation' }
 Z3Datatype class >> named: aString [
 	^self basicNew
-		ctx: Z3Context current;
 		name: aString;
 		constructors: OrderedCollection new;
 		yourself
@@ -94,16 +92,6 @@ Z3Datatype >> create [
 	^(Z3Datatype createDatatypes: {self}) first
 ]
 
-{ #category : #accessing }
-Z3Datatype >> ctx [
-	^ ctx
-]
-
-{ #category : #accessing }
-Z3Datatype >> ctx: anObject [
-	ctx := anObject
-]
-
 { #category : #'as yet unclassified' }
 Z3Datatype >> declare: constructorName [
 	self declare: constructorName accessors: #()