From 8e97e9dd607bdd0bc571e1cd765b53fe22e1cf0c Mon Sep 17 00:00:00 2001 From: Yegor Bugayenko Date: Sun, 15 Jan 2023 09:53:11 +0500 Subject: [PATCH] #79 msg --- src/ctors.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ctors.rs b/src/ctors.rs index 0caad89..284ab8c 100644 --- a/src/ctors.rs +++ b/src/ctors.rs @@ -108,7 +108,7 @@ impl Sodg { } if parts[0].contains('.') { errors.push(format!( - "Edge label from ν{} to ν{} has a dot inside: '{}'", + "Edge label from ν{} to ν{} has a dot inside the head part: '{}'", v, e.to, e.a )); }