Update

esbmc · Oct 28, 2024 · 466515e · 466515e
1 parent 28b61c6
commit 466515e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/esbmc_ai/__main__.py b/esbmc_ai/__main__.py
@@ -29,7 +29,7 @@
 
 from esbmc_ai.loading_widget import BaseLoadingWidget, LoadingWidget
 from esbmc_ai.chats import UserChat
-from esbmc_ai.logging import get_verbose_level, print_horizontal_line, printv, printvv
+from esbmc_ai.logging import print_horizontal_line, printv, printvv
 from esbmc_ai.esbmc_util import ESBMCUtil
 from esbmc_ai.chat_response import FinishReason, ChatResponse
 from esbmc_ai.ai_models import _ai_model_names