diff --git a/src/main/scala/leon/verification/VerificationCondition.scala b/src/main/scala/leon/verification/VerificationCondition.scala
index 4e690547d091bd19b2877a0078d0f44ee310ab1b..da53f8eacc7af4e7c0f10c04098a2026acb9dc0f 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")