From 9c5654ab2758c89499f9f43e80fa44bf2c3c5473 Mon Sep 17 00:00:00 2001 From: Drew Date: Wed, 24 Aug 2016 15:36:08 -0700 Subject: [PATCH] Updateded the Reporting Mod Changed the reporting mod to start with a capital R and added last sentence. --- CONTRIBUTE.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTE.md b/CONTRIBUTE.md index 76d3fb2..ead84c5 100644 --- a/CONTRIBUTE.md +++ b/CONTRIBUTE.md @@ -47,7 +47,7 @@ This module translates `wp` from the internal `expression` format to SMT-lib for Files: `mod.rs` ### `src/reporting` -rustproof's internal reporting module. This allows developers to throw meaningful rustproof warnings and errors to the user without exposing them to unhelpful rustproof internals. The macros are `rp_warn!()` and `rp_error!()`. +Rustproof's internal reporting module. This allows developers to throw meaningful rustproof warnings and errors to the user without exposing them to unhelpful rustproof internals. The macros are `rp_warn!()` and `rp_error!()`. The macros can be implemented similar to the println!() macro. Files: `mod.rs`