From f041d40c06b8614984a062afaf3d6ef8e012d021 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Mon, 10 Nov 2014 18:32:08 +0100
Subject: [PATCH] Fix typo
---
src/main/scala/leon/verification/VerificationCondition.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/verification/VerificationCondition.scala b/src/main/scala/leon/verification/VerificationCondition.scala
index 4e690547d..da53f8eac 100644
--- a/src/main/scala/leon/verification/VerificationCondition.scala
+++ b/src/main/scala/leon/verification/VerificationCondition.scala
@@ -49,6 +49,6 @@ abstract class VCKind(val name: String, val abbrv: String) {
case object VCPrecondition extends VCKind("precondition", "precond.")
case object VCPostcondition extends VCKind("postcondition", "postcond.")
case object VCAssert extends VCKind("body assertion", "assert.")
-case object VCExhaustiveMatch extends VCKind("match exhaustivness", "match.")
+case object VCExhaustiveMatch extends VCKind("match exhaustiveness", "match.")
case object VCMapUsage extends VCKind("map usage", "map use")
case object VCArrayUsage extends VCKind("array usage", "arr. use")
--
GitLab