aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 46f89e5..6cb8317 100644
--- a/README.md
+++ b/README.md
@@ -53,7 +53,7 @@ PHP language types. Thus, it is possible to combine these realistic
domains to generate more sophisticated data (like dates, object models
etc.).
-## Contract Coveverage Criteria
+## Contract Coverage Criteria
The contract language can be evaluated to validate and verify data
manipulated by the program on one hand. On the other hand, we have