From 9e38efe1063b0c6a709f4efbd537bc016a03209e Mon Sep 17 00:00:00 2001
From: Konstantin Chukharev <lipen00@gmail.com>
Date: Wed, 4 Dec 2024 16:30:11 +0300
Subject: [PATCH] Specify State bound in recursive generic

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

diff --git a/usvm-core/src/main/kotlin/org/usvm/Machine.kt b/usvm-core/src/main/kotlin/org/usvm/Machine.kt
index 4cf2ea5b95..560a0a55ae 100644
--- a/usvm-core/src/main/kotlin/org/usvm/Machine.kt
+++ b/usvm-core/src/main/kotlin/org/usvm/Machine.kt
@@ -14,7 +14,7 @@ val logger = object : KLogging() {}.logger
  *
  * @see [run]
  */
-abstract class UMachine<State : UState<*, *, *, *, *, *>> : AutoCloseable {
+abstract class UMachine<State : UState<*, *, *, *, *, State>> : AutoCloseable {
     /**
      * Runs symbolic execution loop.
      *