From c1cb0e7c9977f469259aea3348fc3dfcef2cf171 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 7 Jul 2010 15:29:50 +0000
Subject: [PATCH]
---
src/setconstraints/Main.scala | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/setconstraints/Main.scala b/src/setconstraints/Main.scala
index 14ef5594d..d7deb70f1 100644
--- a/src/setconstraints/Main.scala
+++ b/src/setconstraints/Main.scala
@@ -7,6 +7,7 @@ import purescala.Reporter
class Main(reporter: Reporter) extends Analyser(reporter) {
val description: String = "Analyser for advanced type inference based on set constraints"
+ override val shortDescription = "Set constraints"
def analyse(program: Program) : Unit = {
reporter.info("Nothing to do in this analysis.")
--
GitLab