Removed mention of Scala 2

epfl-lara · Sep 15, 2024 · b602976 · b602976
1 parent 35ff8bc
commit b602976
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/README.md b/docs/README.md
@@ -2,7 +2,7 @@ Stainless consists of several sbt projects.
 
 The core verifier sources are in `core/src/scala`.
 
-There are separate front ends for Scala 3 (primary one), Scala 2, and sbt.
+There is a front end for Scala 3, as well as an sbt plugin (which also compiles and eliminates ghost code).
 
 The documentation from user's point of view is in `core/src/sphinx`.