From a6d9edec0df6cac18a2882f551225a819f8313d6 Mon Sep 17 00:00:00 2001 From: Yiannis Charalambous Date: Fri, 19 Apr 2024 11:49:11 +0100 Subject: [PATCH] FCM: Reverted Successfuly to Successfully as per the Oxford Dictionary --- esbmc_ai/commands/fix_code_command.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/esbmc_ai/commands/fix_code_command.py b/esbmc_ai/commands/fix_code_command.py index e2f068d..6a8edb8 100644 --- a/esbmc_ai/commands/fix_code_command.py +++ b/esbmc_ai/commands/fix_code_command.py @@ -129,7 +129,7 @@ def print_raw_conversation() -> None: if config.raw_conversation: print_raw_conversation() - printv("ESBMC-AI Notice: Successfuly verified code") + printv("ESBMC-AI Notice: Successfully verified code") return False, source_code