From 11f2fc8a0a334b781697f032c380902666d470c3 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Wed, 3 Jan 2024 14:29:19 +0000
Subject: [PATCH] fix(deps): update dependency it.unibo.tuprolog:dsl-solve to
 v0.32.0

---
 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 b3d3c1230..bdb10dc57 100644
--- a/gradle/libs.versions.toml
+++ b/gradle/libs.versions.toml
@@ -36,7 +36,7 @@ jung-graphimpl = "net.sf.jung:jung-graph-impl:2.1.1"
 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-dsl-solve = "it.unibo.tuprolog:dsl-solve:0.32.0"
 tuprolog-solve-classic = "it.unibo.tuprolog:solve-classic:0.31.11"
 tuprolog-parser-theory = "it.unibo.tuprolog:parser-theory:0.31.11"
 tuprolog-test-solve = "it.unibo.tuprolog:test-solve:0.31.11"