Merge branch 'main' of github.com:Certora/Quorum into niv/CERT-7975-T…

…est-ALL-commands
Certora · Jan 8, 2025 · 0ca3002 · 0ca3002
2 parents 39b052e + 6049695
commit 0ca3002
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 @@
-20250108.104754.984115
+20250108.104827.482077