Rebase fix

CaelmBleidd · CaelmBleidd · commit 0f18a8c1f84d · 2025-06-18T16:59:52.000+03:00
diff --git a/usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExpressions.kt b/usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExpressions.kt
@@ -100,14 +100,3 @@ fun UExpr<*>.extractInt(): Int {
     }
     error("Cannot extract Int from $this")
 }
-
-/**
- * Extracts an integer value from [this] expression if possible.
- * Otherwise, throws an error.
- */
-fun UExpr<*>.extractInt(): Int {
-    if (this@extractInt is KBitVec32Value) {
-        return intValue
-    }
-    error("Cannot extract Int from $this")
-}
