From 69c138c25c0969b2ece2cf2f0bba28f7b4f0bec1 Mon Sep 17 00:00:00 2001
From: str4d <jack@electriccoin.co>
Date: Tue, 19 Apr 2022 16:04:19 +0200
Subject: [PATCH] Clarify some comments and messages

Co-authored-by: Daira Hopwood <daira@jacaranda.org>
---
 halo2_proofs/src/dev.rs         | 2 +-
 halo2_proofs/src/dev/failure.rs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/halo2_proofs/src/dev.rs b/halo2_proofs/src/dev.rs
index d91b7280..86861fb3 100644
--- a/halo2_proofs/src/dev.rs
+++ b/halo2_proofs/src/dev.rs
@@ -809,7 +809,7 @@ impl<F: FieldExt> MockProver<F> {
     /// Any verification failures will be pretty-printed to stderr before the function
     /// panics.
     ///
-    /// This method is equivalent to:
+    /// Apart from the stderr output, this method is equivalent to:
     /// ```ignore
     /// assert_eq!(prover.verify(), Ok(()));
     /// ```
diff --git a/halo2_proofs/src/dev/failure.rs b/halo2_proofs/src/dev/failure.rs
index ca2171e6..63b767d0 100644
--- a/halo2_proofs/src/dev/failure.rs
+++ b/halo2_proofs/src/dev/failure.rs
@@ -37,7 +37,7 @@ impl fmt::Display for FailureLocation {
         match self {
             Self::InRegion { region, offset } => write!(f, "in {} at offset {}", region, offset),
             Self::OutsideRegion { row } => {
-                write!(f, "on row {}", row)
+                write!(f, "outside any region, on row {}", row)
             }
         }
     }