From 1dff93a8ad3d958412eb6f821cb557988f128eef Mon Sep 17 00:00:00 2001
From: str4d <jack@electriccoin.co>
Date: Fri, 4 Jun 2021 23:12:55 +0100
Subject: [PATCH] dev: Update documentation for constraint_name

Co-authored-by: Daira Hopwood <daira@jacaranda.org>
---
 src/dev.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dev.rs b/src/dev.rs
index 0abf8bfb..97c0e782 100644
--- a/src/dev.rs
+++ b/src/dev.rs
@@ -59,7 +59,7 @@ pub enum VerifyFailure {
         /// `Circuit::configure`.
         constraint_index: usize,
         /// The name of the unsatisfied constraint. This is specified by the gate creator
-        /// (such as a chip implementation), and may not be unique.
+        /// (such as a chip implementation), and is not enforced to be unique.
         constraint_name: &'static str,
         /// The row on which this constraint is not satisfied.
         row: usize,