From 9e68928d143123a5783b6fbdc206f6df8c64e58e Mon Sep 17 00:00:00 2001 From: matszpk Date: Fri, 14 Oct 2022 13:28:46 +0200 Subject: [PATCH] Update docs. --- src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib.rs b/src/lib.rs index 6f3f86b..52c9a51 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -40,7 +40,7 @@ pub enum Error { /// Duplicated result. #[error("Too many results")] TooManyResults, - /// If assigned more than once. + /// If some variable has been assigned more than once. #[error("Variable has been assigned more than once")] AssignedMoreThanOnce, /// If not all variables has been assigned.