From 99d45a6482b013676605a400cfb0d0cb55a4e01d Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 17 Mar 2016 18:21:14 +0100
Subject: [PATCH] Fix comment
---
src/main/scala/leon/LeonComponent.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/LeonComponent.scala b/src/main/scala/leon/LeonComponent.scala
index 0b33fde09..7aeaacb10 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
--
GitLab