Commit 67ad374a authored by Nadim Kobeissi's avatar Nadim Kobeissi 💎

Remove unnecessary Sprintf

parent 13fbcab9
Pipeline #623 passed with stages
in 1 minute and 26 seconds
......@@ -158,9 +158,7 @@ func verifyEnd(m Model) ([]VerifyResult, string, error) {
InfoMessage(fmt.Sprintf(
"Verification completed for '%s' at %s.", fileName, completed,
), "verifpal", false)
InfoMessage(fmt.Sprintf(
"Summary of contradicted queries, if any, will follow.",
), "verifpal", false)
InfoMessage("Summary of contradicted queries, if any, will follow.", "verifpal", false)
fmt.Fprint(os.Stdout, "\n")
for _, verifyResult := range valVerifyResults {
if verifyResult.Resolved {
......
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