Merge pull request #103 from behnam/dev

[C-VALIDATE] Replace fail! with panic!
rust-lang · Jul 13, 2017 · 890ef80 · 890ef80
2 parents 327ca8e + 98629c4
commit 890ef80
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1878,7 +1878,7 @@ downsides:
 1. Runtime overhead (unless checking can be done as part of processing the
    input).
 2. Delayed detection of bugs.
-3. Introduces failure cases, either via `fail!` or `Result`/`Option` types,
+3. Introduces failure cases, either via `panic!` or `Result`/`Option` types,
    which must then be dealt with by client code.
 
 #### Dynamic enforcement with `debug_assert!`: