Fix Code Command: Fix spelling mistake

esbmc · Apr 4, 2024 · 992e049 · 992e049
1 parent 1c82514
commit 992e049
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/esbmc_ai/__about__.py b/esbmc_ai/__about__.py
@@ -1,4 +1,4 @@
 # Author: Yiannis Charalambous
 
-__version__ = "v0.5.0.dev14"
+__version__ = "v0.5.0rc0"
 __author__: str = "Yiannis Charalambous"
diff --git a/esbmc_ai/commands/fix_code_command.py b/esbmc_ai/commands/fix_code_command.py
@@ -131,7 +131,7 @@ def print_raw_conversation() -> None:
                 if config.raw_conversation:
                     print_raw_conversation()
 
-                printv("ESBMC-AI Notice: Succesfully verified code")
+                printv("ESBMC-AI Notice: Successfully verified code")
 
                 return False, llm_solution