diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
index b3d3c12305..4b67a17e6f 100644
--- a/gradle/libs.versions.toml
+++ b/gradle/libs.versions.toml
@@ -35,7 +35,7 @@ jung-visualization = "net.sf.jung:jung-visualization:2.1.1"
 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-ide = "it.unibo.tuprolog:ide:0.31.18"
 tuprolog-dsl-solve = "it.unibo.tuprolog:dsl-solve:0.31.11"
 tuprolog-solve-classic = "it.unibo.tuprolog:solve-classic:0.31.11"
 tuprolog-parser-theory = "it.unibo.tuprolog:parser-theory:0.31.11"