diff --git a/pate_binja/pate.py b/pate_binja/pate.py index 544241e0..ebb702be 100644 --- a/pate_binja/pate.py +++ b/pate_binja/pate.py @@ -903,13 +903,13 @@ def pprint_node_contents(self, pre: str = '', out: IO = sys.stdout, show_ce_trac # Indicate if there are conditions traces conditionTraceTypes = [] if self.equivalenceConditionTrace: - conditionTraceTypes.append('equivalence') + conditionTraceTypes.append('eq') if self.assertedConditionTrace: conditionTraceTypes.append('asserted') if self.assumedConditionTrace: conditionTraceTypes.append('assumed') if conditionTraceTypes: - out.write('Condition traces for: ') + out.write('Traces: ') out.write(', '.join(conditionTraceTypes)) def pprint_node_domain(self, pre: str = '', out: IO = sys.stdout,