Update pyk/src/pyk/k2lean4/model.py

Co-authored-by: Juan C. <38925412+JuanCoRo@users.noreply.github.com>

Author: tothtamas28

pyk/src/pyk/k2lean4/model.py

@@ -204,7 +204,7 @@ def __init__(
     def __str__(self) -> str:
         modifiers = f'{self.modifiers} ' if self.modifiers else ''
         attr_kind = f'{self.attr_kind.value} ' if self.attr_kind else ''
-        priority = f' priority := {self.priority}' if self.priority is not None else ''
+        priority = f' (priority := {self.priority})' if self.priority is not None else ''
         ident = f' {self.ident}' if self.ident else ''
         signature = f' {self.signature}' if self.signature else ''