re-subclass Z3CAPITest

shingarov · Oct 21, 2024 · 902b914 · 902b914
1 parent 2ab5e61
commit 902b914
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Z3-Tests/Z3CAPITest.class.st b/src/Z3-Tests/Z3CAPITest.class.st
@@ -3,7 +3,7 @@ Tests equivalent to z3/examples/c/test_capi.c
 "
 Class {
 	#name : #Z3CAPITest,
-	#superclass : #TestCaseWithZ3Context,
+	#superclass : #TestCase,
 	#pools : [
 		'Z3ErrorCode'
 	],