From 36eebfa4e9248412438cb42e4f11d3ecbe4bd610 Mon Sep 17 00:00:00 2001
From: Azat Abdullin <azat.aam@gmail.com>
Date: Fri, 28 Jul 2023 12:30:22 +0300
Subject: [PATCH] m

---
 .../kotlin/org/vorpal/research/kex/smt/ksmt/KSMTSolverTest.kt   | 2 +-
 1 file changed, 1 insertion(+), 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
index 6e482d3d4..da15bc0f8 100644
--- 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) }