Update pretty_printer.py

Certora · Jan 8, 2025 · 3e21ee4 · 3e21ee4
1 parent bc9b231
commit 3e21ee4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Quorum/utils/pretty_printer.py b/Quorum/utils/pretty_printer.py
@@ -19,8 +19,8 @@ class Colors(StrEnum):
     RESET = '\033[0m'
 
 
-def pprint(message: str, status: Colors, heading: Optional[Heading]=None):
-    s = status + message + Colors.RESET
+def pprint(message: object, status: Colors, heading: Optional[Heading]=None):
+    s = status + str(message) + Colors.RESET
     if heading:
         s += '\n' + heading * len(message) + '\n'
     print(s)
diff --git a/version b/version
@@ -1 +1 @@
-20250107.201507.181876
+20250108.022922.481801