diff --git a/src/main/scala/leon/verification/VerificationCondition.scala b/src/main/scala/leon/verification/VerificationCondition.scala index 3b2a9268dc4d838feaddd7e3cbf2e6086795c551..fd03419d46ae4c82f44cff6ead1b26f8e09c8724 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.")