From 595dd5d1e17b4774b4da6242211c9501deb81054 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Mon, 18 Aug 2014 18:08:30 +0200
Subject: [PATCH] Use the name instead of the case-object name
---
src/main/scala/leon/verification/VerificationCondition.scala | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/verification/VerificationCondition.scala b/src/main/scala/leon/verification/VerificationCondition.scala
index 3b2a9268d..fd03419d4 100644
--- a/src/main/scala/leon/verification/VerificationCondition.scala
+++ b/src/main/scala/leon/verification/VerificationCondition.scala
@@ -37,7 +37,9 @@ class VerificationCondition(val condition: Expr, val funDef: FunDef, val kind: V
}
}
-abstract class VCKind(val name: String, val abbrv: String)
+abstract class VCKind(val name: String, val abbrv: String) {
+ override def toString = name
+}
case object VCPrecondition extends VCKind("precondition", "precond.")
case object VCPostcondition extends VCKind("postcondition", "postcond.")
case object VCAssert extends VCKind("body assertion", "assert.")
--
GitLab