missing files in previous cmmits

epfl-lara · May 2, 2024 · e77a5ab · e77a5ab
1 parent fe7c394
commit e77a5ab
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/core/src/sphinx/installation.rst b/core/src/sphinx/installation.rst
@@ -316,7 +316,7 @@ Instead, please use ``sbt stainless-scalac-standalone/assembly`` as follows:
   $ sbt stainless-scalac-standalone/assembly
   // takes about 1 minutes
 
-Running Stainless can then be done with the command: ``java -jar frontends\stainless-dotty-standalone\target\scala-3.3.0\stainless-dotty-standalone-{VERSION}.jar``, where ``VERSION`` denotes Stainless version.
+Running Stainless can then be done with the command: ``java -jar frontends\stainless-dotty-standalone\target\scala-3.3.3\stainless-dotty-standalone-{VERSION}.jar``, where ``VERSION`` denotes Stainless version.
 
 Running Tests
 -------------

diff --git a/sbt-plugin/src/sbt-test/sbt-plugin/ghost/test b/sbt-plugin/src/sbt-test/sbt-plugin/ghost/test
@@ -1,6 +1,6 @@
 > + tailrec/run
 > + basic/run
 $ exists basic/target/scala-2.13/classes/test/Main.class
-$ exists basic/target/scala-3.3.0/classes/test/Main.class
+$ exists basic/target/scala-3.3.3/classes/test/Main.class
 $ absent basic/target/sneakyGhostCalled basic/target/insideGhostCalled
-> + actor-tests/compile
+> + actor-tests/compile