Merge remote-tracking branch 'origin/master' into dm/eqcond-traces

GaloisInc · Mar 1, 2024 · 197cbdc · 197cbdc
2 parents 33d1b9d + 8ba50ba
commit 197cbdc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -43,7 +43,7 @@ jobs:
       LANGUAGE: en_US:en
       LC_ALL: en_US.UTF-8
       TZ: America/Los_Angeles
-      CACHE_VERSION: 3
+      CACHE_VERSION: 4
 
     strategy:
       fail-fast: false

diff --git a/pate_binja/view.py b/pate_binja/view.py
@@ -407,7 +407,7 @@ def getTabForFilename(context: UIContext, filename: str, loadIfDoesNotExist: boo
             vf: ViewFrame = context.getViewFrameForTab(t)
             if vf:
                 fc: FileContext = vf.getFileContext()
-                print('tab:', t, "ViewFrame", vf, "filename:", fc.getFilename())
+                #print('tab:', t, "ViewFrame", vf, "filename:", fc.getFilename())
                 if fc.getFilename() == filename:
                     tab = t
     if not tab and loadIfDoesNotExist: