Merge branch 'develop' into noah/failure-info-mapcell

runtimeverification · Jul 19, 2024 · c3881fe · c3881fe
2 parents f0169d9 + c5acf9d
commit c3881fe
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pyk/src/pyk/kllvm/hints/prooftrace.py b/pyk/src/pyk/kllvm/hints/prooftrace.py
@@ -201,7 +201,7 @@ def name(self) -> str:
 
     @property
     def relative_position(self) -> str:
-        """Return the relative position of the LLVM function event in the proof trace. Ex.: (0:0:0:0)."""
+        """Return the relative position of the LLVM function event in the proof trace."""
         return self._function_event.relative_position
 
     @property
@@ -243,7 +243,7 @@ def name(self) -> str:
 
     @property
     def relative_position(self) -> str:
-        """Return the relative position of the hook event in the proof trace. Ex.: (0:0:0:0)."""
+        """Return the relative position of the hook event in the proof trace."""
         return self._hook_event.relative_position
 
     @property