From 98629c4f967a7d5e23a1acf94de1aebc9da249ff Mon Sep 17 00:00:00 2001 From: Behnam Esfahbod Date: Wed, 12 Jul 2017 16:34:02 -0600 Subject: [PATCH] [C-VALIDATE] Replace fail! with panic! --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 987c3b4..1b77943 100644 --- 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!`: