FCM: Reverted Successfuly to Successfully as per the Oxford Dictionary

esbmc · Apr 19, 2024 · a6d9ede · a6d9ede
1 parent a347e20
commit a6d9ede
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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