diff --git a/src/main/scala/leon/LeonComponent.scala b/src/main/scala/leon/LeonComponent.scala index 0b33fde0940c2ddba8030d95349571531f394a11..7aeaacb103f8fc62e5ce072d0997e08347d5f859 100644 --- a/src/main/scala/leon/LeonComponent.scala +++ b/src/main/scala/leon/LeonComponent.scala @@ -3,8 +3,8 @@ package leon /** A common trait for everything that is important enough to be named, - * and that processes command line options. And important category are - * `LeonPhase`s. */ + * and that defines command line options. And important category are + * [[LeonPhase]]s. */ trait LeonComponent { val name : String val description : String