Verified Commit 5bb4998a authored by Nadim Kobeissi's avatar Nadim Kobeissi
Browse files

Merge branch 'master' of source.symbolic.software:verifpal/verifpal

parents f6ba7270 f878c26d
......@@ -30,7 +30,7 @@ linters:
- misspell
- nakedret
- prealloc
- scopelint
- exportloopref
- unconvert
- unparam
- whitespace
......
This diff is collapsed.
......@@ -3,7 +3,7 @@
module verifpal.com
go 1.15
go 1.16
require (
github.com/akavel/rsrc v0.10.2 // indirect
......
......@@ -144,7 +144,7 @@ Qualifier <- ("private"/"public"/"password") {
}
}
Message <- Sender:PrincipalName? _ "->" _ Recipient:PrincipalName? _ ':' _ Constants:MessageConstants? {
Message <- Sender:PrincipalName? _ ("->"/"→") _ Recipient:PrincipalName? _ ':' _ Constants:MessageConstants? {
switch {
case Sender == nil:
return nil, errors.New("message sender is not defined")
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment