Rebase

UnitTestBot · Oct 31, 2023 · 0023c4d · 0023c4d
1 parent 4395bfd
commit 0023c4d
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/usvm-jvm/src/main/kotlin/org/usvm/machine/interpreter/JcVirtualInvokeResolver.kt b/usvm-jvm/src/main/kotlin/org/usvm/machine/interpreter/JcVirtualInvokeResolver.kt
@@ -11,8 +11,6 @@ import org.usvm.api.evalTypeEquals
 import org.usvm.api.typeStreamOf
 import org.usvm.isAllocatedConcreteHeapRef
 import org.usvm.isStaticHeapRef
-import org.usvm.machine.interpreter.JcLambdaCallSite
-import org.usvm.machine.interpreter.JcLambdaCallSiteMemoryRegion
 import org.usvm.machine.JcConcreteMethodCallInst
 import org.usvm.machine.JcContext
 import org.usvm.machine.JcVirtualMethodCallInst