don't display source line in logs

a16z · Dec 12, 2024 · 124d348 · 124d348
1 parent ce0d3c5
commit 124d348
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/halmos/logs.py b/src/halmos/logs.py
@@ -9,7 +9,7 @@
 
 logging.basicConfig(
     format="%(message)s",
-    handlers=[RichHandler(level=logging.NOTSET, show_time=False)],
+    handlers=[RichHandler(level=logging.NOTSET, show_time=False, show_path=False)],
 )
 
 logger = logging.getLogger("halmos")