diff --git a/labs/lab2/SimpleProtocol.scala b/labs/lab2/SimpleProtocol.scala
index d52702a0f81318977212ee8644d38c4b69124390..aee14affb7bb3f93b51182c60ee01b5750fcab8a 100644
--- a/labs/lab2/SimpleProtocol.scala
+++ b/labs/lab2/SimpleProtocol.scala
@@ -1,5 +1,6 @@
-//> using jar "stainless-library_2.13-0.9.8.jar"
-//> using scala "3.2.0"
+//> using jar "stainless-library-sources.jar"
+//> using jar "stainless-library.jar"
+//> using scala "3.5.0"
 
 import stainless.lang.*
 import stainless.annotation.*