chore: more merge fixes

zhudotexe · Apr 11, 2024 · 8f9e075 · 8f9e075
1 parent 83f9d92
commit 8f9e075
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/kani/utils/cli.py b/kani/utils/cli.py
@@ -40,14 +40,11 @@ async def chat_in_terminal_async(
 
             # get user query
             if not ai_first or round_num > 0:
-                query = input("USER: ").strip()if echo:
-                    print_width(query, width=width, prefix="USER: ")
+                query = input("USER: ").strip()
                 if echo:
                     print_width(query, width=width, prefix="USER: ")
                 if stopword and query == stopword:
-                    breakelse:
-                query = None
-
+                    break
             # print completion(s)
             else:
                 query = None