From 77d30a36838dc3a262d631d8c01092abe48ce5b6 Mon Sep 17 00:00:00 2001
From: tochilinak <tochilina.2002@yandex.ru>
Date: Tue, 2 Sep 2025 17:27:19 +0300
Subject: [PATCH] Made plusAssign of UPathConstraints open

---
 .../src/main/kotlin/org/usvm/constraints/PathConstraints.kt     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/usvm-core/src/main/kotlin/org/usvm/constraints/PathConstraints.kt b/usvm-core/src/main/kotlin/org/usvm/constraints/PathConstraints.kt
index de2fa680f9..4098e4f2a3 100644
--- a/usvm-core/src/main/kotlin/org/usvm/constraints/PathConstraints.kt
+++ b/usvm-core/src/main/kotlin/org/usvm/constraints/PathConstraints.kt
@@ -95,7 +95,7 @@ open class UPathConstraints<Type>(
     }
 
     @Suppress("UNCHECKED_CAST")
-    operator fun plusAssign(constraint: UBoolExpr): Unit =
+    open operator fun plusAssign(constraint: UBoolExpr): Unit =
         with(constraint.uctx) {
             when {
                 constraint == falseExpr -> contradiction(this)