Skip to content
Snippets Groups Projects
Commit f041d40c authored by Emmanouil (Manos) Koukoutos's avatar Emmanouil (Manos) Koukoutos Committed by Etienne Kneuss
Browse files

Fix typo

parent ad63cf42
No related branches found
No related tags found
No related merge requests found
...@@ -49,6 +49,6 @@ abstract class VCKind(val name: String, val abbrv: String) { ...@@ -49,6 +49,6 @@ abstract class VCKind(val name: String, val abbrv: String) {
case object VCPrecondition extends VCKind("precondition", "precond.") case object VCPrecondition extends VCKind("precondition", "precond.")
case object VCPostcondition extends VCKind("postcondition", "postcond.") case object VCPostcondition extends VCKind("postcondition", "postcond.")
case object VCAssert extends VCKind("body assertion", "assert.") 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 VCMapUsage extends VCKind("map usage", "map use")
case object VCArrayUsage extends VCKind("array usage", "arr. use") case object VCArrayUsage extends VCKind("array usage", "arr. use")
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment