Merge pull request diffblue#2327 from mre/patch-1

Fix typo
NathanJPhillips · Jun 9, 2018 · d9a2339 · d9a2339
2 parents 63acc5b + 363291a
commit d9a2339
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jbmc/README.md b/jbmc/README.md
@@ -4,7 +4,7 @@ About
 =====
 
 JBMC is a Bounded Model Checker for Java programs. It supports
-checking for runtime exceptions and user-definde assertions.
+checking for runtime exceptions and user-defined assertions.
 The verification is performed by unwinding the loops in the program
 and passing the resulting equation to a decision procedure.