From cbde98ecae0f9339c6cd8a008c0c07f39eb92e7b Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Tue, 24 Oct 2023 16:32:30 +0000
Subject: [PATCH] fix(deps): update dependency it.unibo.tuprolog:solve-classic
 to v0.31.18

---
 gradle/libs.versions.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
index b3d3c12305..0907b5c66c 100644
--- a/gradle/libs.versions.toml
+++ b/gradle/libs.versions.toml
@@ -37,7 +37,7 @@ jung-algorithms = "net.sf.jung:jung-algorithms:2.1.1"
 jung-io = "net.sf.jung:jung-io:2.1.1"
 tuprolog-ide = "it.unibo.tuprolog:ide:0.31.11"
 tuprolog-dsl-solve = "it.unibo.tuprolog:dsl-solve:0.31.11"
-tuprolog-solve-classic = "it.unibo.tuprolog:solve-classic:0.31.11"
+tuprolog-solve-classic = "it.unibo.tuprolog:solve-classic:0.31.18"
 tuprolog-parser-theory = "it.unibo.tuprolog:parser-theory:0.31.11"
 tuprolog-test-solve = "it.unibo.tuprolog:test-solve:0.31.11"
 akka-bom = "com.typesafe.akka:akka-bom_2.13:2.8.3"