Fix title in html diff display.

GaloisInc · May 10, 2024 · 85e1b43 · 85e1b43
1 parent 8a6fcdf
commit 85e1b43
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pate_binja/view.py b/pate_binja/view.py
@@ -657,7 +657,7 @@ def __init__(self, instTrees: dict, label: str = None, parent=None):
             treeGraphBox.addWidget(patchedBox)
             # Text Diff Widget
             self.instTreeDiffWidget = InstTreeDiffWidget(self)
-            self.instTreeDiffWidget.setInstTrees(instTrees, label)
+            self.instTreeDiffWidget.setInstTrees(instTrees)
 
             # Main Splitter (vertical)
             mainSplitter = QSplitter()