m

vorpal-research · Jul 28, 2023 · 36eebfa · 36eebfa
1 parent 62e6b92
commit 36eebfa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kex-ksmt/src/test/kotlin/org/vorpal/research/kex/smt/ksmt/KSMTSolverTest.kt b/kex-ksmt/src/test/kotlin/org/vorpal/research/kex/smt/ksmt/KSMTSolverTest.kt
@@ -282,7 +282,7 @@ class KSMTSolverTest : KexTest("ksmt-solver") {
 
     @Test
     fun testIncrementalMemory() {
-        with(object : StringInfoContext {}) {
+        with(object : StringInfoContext() {}) {
             val string = term { generate(KexString()) }
             val charArray = term { generate(valueArrayType) }